Details

Time bar (total: 7.7s)

sample26.0ms

Algorithm
intervals
Results
14.0ms429×body80valid

simplify18.0ms

Counts
1 → 1
Iterations
IterNodes
done46
346
235
117
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* y y) (* x (+ x (* y 2.0))))
0.0b
(* x (+ x (* y 2.0)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r* associate-*l*
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 35
Calls
2 calls:
12.0ms
(+ (* y y) (* x (+ x (* y 2.0))))
24.0ms
(* x (+ x (* y 2.0)))

series79.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(+ (* y y) (* x (+ x (* y 2.0))))
43.0ms
(* x (+ x (* y 2.0)))

simplify1.3s

Counts
41 → 41
Iterations
IterNodes
done5010
21021
1237
071

prune227.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* y y) (exp (log (* x (+ x (* y 2.0))))))
0.0b
(* x (+ x (* y 2.0)))
3.6b
(exp (log (* x (+ x (* y 2.0)))))
12.3b
(log (* x (+ x (* y 2.0))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
9×add-sqr-sqrt add-exp-log
7×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube associate-*r/ add-log-exp
5×exp-prod
4×log-div flip3-+ log-pow flip-+
3×associate-*r* associate-*l* pow-prod-down
2×log-prod exp-diff rem-log-exp prod-exp
1×distribute-rgt-in +-commutative sum-log distribute-lft-in exp-sum *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 63
Calls
4 calls:
16.0ms
(+ (* y y) (exp (log (* x (+ x (* y 2.0))))))
23.0ms
(* x (+ x (* y 2.0)))
19.0ms
(exp (log (* x (+ x (* y 2.0)))))
7.0ms
(log (* x (+ x (* y 2.0))))

series291.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ (* y y) (exp (log (* x (+ x (* y 2.0))))))
51.0ms
(* x (+ x (* y 2.0)))
50.0ms
(exp (log (* x (+ x (* y 2.0)))))
154.0ms
(log (* x (+ x (* y 2.0))))

simplify3.4s

Counts
75 → 75
Iterations
IterNodes
done5002
34790
21004
1320
0113

prune384.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes71.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done12
112
08

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.3s14079×body80valid