Details

Time bar (total: 17.9s)

sample114.0ms

Algorithm
intervals
Results
86.0ms450×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
42017
3636
2171
152
017

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (- (pow x 5) (pow x 4)) (* 5 (pow x 3))) (pow x 2))
0.0b
(- (- (pow x 5) (pow x 4)) (* 5 (pow x 3)))
0.0b
(- (pow x 5) (pow x 4))
0.1b
(* 5 (pow x 3))

rewrite724.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
20×add-log-exp
12×*-un-lft-identity associate-*r*
10×unpow-prod-down
add-exp-log difference-of-squares
add-cube-cbrt sqr-pow
diff-log
add-cbrt-cube
sub-neg
pow1 associate-+l+ cube-prod associate--l+ insert-posit16 unswap-sqr
sum-log associate-*l* prod-exp
flip3-- flip--
associate--l- cube-mult pow-to-exp +-commutative flip3-+ unpow3 pow-exp *-commutative associate-+l- cbrt-unprod flip-+ distribute-lft-out distribute-lft-out--
Counts
4 → 92
Calls
4 calls:
512.0ms
(+ (- (- (pow x 5) (pow x 4)) (* 5 (pow x 3))) (pow x 2))
161.0ms
(- (- (pow x 5) (pow x 4)) (* 5 (pow x 3)))
27.0ms
(- (pow x 5) (pow x 4))
22.0ms
(* 5 (pow x 3))

series457.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(+ (- (- (pow x 5) (pow x 4)) (* 5 (pow x 3))) (pow x 2))
79.0ms
(- (- (pow x 5) (pow x 4)) (* 5 (pow x 3)))
218.0ms
(- (pow x 5) (pow x 4))
84.0ms
(* 5 (pow x 3))

simplify4.3s

Counts
104 → 104
Iterations
IterNodes
35612
21197
1375
0158

prune1.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

14.5b
(sqrt (pow x 4))
14.5b
(sqrt (pow x 4))
25.3b
(sqrt (pow x 5))
25.3b
(sqrt (pow x 5))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
28×sqrt-prod
20×add-sqr-sqrt
16×unpow-prod-down
12×rem-sqrt-square *-un-lft-identity add-cube-cbrt
sqr-pow
pow1 sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log insert-posit16 add-log-exp
Counts
4 → 80
Calls
4 calls:
5.0ms
(sqrt (pow x 4))
5.0ms
(sqrt (pow x 4))
5.0ms
(sqrt (pow x 5))
6.0ms
(sqrt (pow x 5))

series263.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(sqrt (pow x 4))
44.0ms
(sqrt (pow x 4))
75.0ms
(sqrt (pow x 5))
90.0ms
(sqrt (pow x 5))

simplify2.0s

Counts
92 → 92
Iterations
IterNodes
42820
31049
2358
1142
078

prune2.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes256.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
222
122
017

end0.0ms

sample3.3s

Algorithm
intervals
Results
3.0s13377×body80valid