Details

Time bar (total: 12.8s)

sample73.0ms

Algorithm
intervals
Results
30.0ms32×body1280valid
14.0ms200×body80valid
7.0ms14×body640valid
2.0msbody320valid
1.0msbody160valid

simplify18.0ms

Counts
1 → 1
Iterations
IterNodes
done21
321
219
112
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.3b

localize22.0ms

Local error

Found 1 expressions with local error:

28.9b
(log (+ (+ 1.0 (* x x)) (* y y)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
log-prod
add-sqr-sqrt pow1 log-div *-un-lft-identity add-exp-log add-cube-cbrt
flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ add-log-exp
Counts
1 → 14
Calls
1 calls:
46.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))

series142.0ms

Counts
1 → 3
Calls
1 calls:
142.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))

simplify4.4s

Counts
17 → 17
Iterations
IterNodes
done5002
33795
2554
1136
057

prune170.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 12.7b

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))) (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))))
28.9b
(log (+ (+ 1.0 (* x x)) (* y y)))
28.9b
(log (+ (+ 1.0 (* x x)) (* y y)))
28.9b
(log (+ (+ 1.0 (* x x)) (* y y)))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
23×add-sqr-sqrt
20×pow1
17×*-un-lft-identity
15×add-cube-cbrt
log-prod swap-sqr add-exp-log log-pow
associate-*r* associate-*l*
log-div pow1/3
add-cbrt-cube add-log-exp unswap-sqr
flip3-+ rem-log-exp flip-+
pow-prod-down pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
25.0ms
(* (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))) (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))))
27.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))
37.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))
29.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))

series886.0ms

Counts
4 → 12
Calls
4 calls:
442.0ms
(* (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))) (cbrt (log (+ (+ 1.0 (* x x)) (* y y)))))
147.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))
147.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))
149.0ms
(log (+ (+ 1.0 (* x x)) (* y y)))

simplify1.7s

Counts
99 → 99
Iterations
IterNodes
done5000
21293
1311
0121

prune812.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 12.7b

regimes1.1s

Accuracy

69.3% (8.0b remaining)

Error of 20.6b against oracle of 12.6b and baseline of 38.8b

bsearch2.0ms

simplify14.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.5s6086×body80valid
995.0ms978×body1280valid
234.0ms491×body640valid
136.0ms290×body320valid
28.0ms155×body160valid