Details

Time bar (total: 9.0s)

sample19.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
5.0ms256×pre80true

simplify37.0ms

Calls
1 calls:
Slowest
37.0ms
(+ (* x (* x x)) (* x x))

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (* x x))
0.0b
(+ (* x (* x x)) (* x x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp
2×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sum-log distribute-lft1-in flip3-+ cube-unmult associate-*r* *-commutative flip-+ distribute-lft-out
Calls
2 calls:
Slowest
3.0ms
(+ (* x (* x x)) (* x x))
1.0ms
(* x (* x x))

series42.0ms

Calls
2 calls:
Slowest
28.0ms
(+ (* x (* x x)) (* x x))
14.0ms
(* x (* x x))

simplify103.0ms

Calls
9 calls:
Slowest
45.0ms
(* (exp (* x (* x x))) (exp (* x x)))
14.0ms
(+ (pow x 3) (pow x 2))
12.0ms
(+ (pow x 3) (pow x 2))
12.0ms
(+ (pow x 3) (pow x 2))
12.0ms
(+ (* x x) x)

prune141.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x (* x x)) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-*l*
2×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
1×pow1 flip3-+ add-cbrt-cube distribute-rgt1-in add-exp-log *-commutative flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
3.0ms
(* (+ x (* x x)) x)

series30.0ms

Calls
1 calls:
Slowest
30.0ms
(* (+ x (* x x)) x)

simplify333.0ms

Calls
8 calls:
Slowest
150.0ms
(* (- (* x x) (* (* x x) (* x x))) x)
115.0ms
(* (+ (pow x 3) (pow (* x x) 3)) x)
14.0ms
(+ (pow x 3) (pow x 2))
14.0ms
(* (cbrt (+ x (* x x))) (cbrt (+ x (* x x))))
13.0ms
(sqrt (+ x (* x x)))

prune82.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x 1) (* x x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
3×pow1 add-cbrt-cube associate-*l* add-exp-log
2×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
1×flip3-+ associate-*r* pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
4.0ms
(* (+ x 1) (* x x))

series25.0ms

Calls
1 calls:
Slowest
24.0ms
(* (+ x 1) (* x x))

simplify664.0ms

Calls
10 calls:
Slowest
431.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x x) (* x x)) (* x x)))
104.0ms
(* (- (* x x) (* 1 1)) (* x x))
38.0ms
(* (+ (pow x 3) (pow 1 3)) (* x x))
19.0ms
(* (+ x 1) (* x x))
17.0ms
(+ (log (+ x 1)) (log (* x x)))

prune97.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

30.4b
(cbrt (+ (* x (* x x)) (* x x)))
30.4b
(cbrt (+ (* x (* x x)) (* x x)))
30.4b
(cbrt (+ (* x (* x x)) (* x x)))
0.3b
(* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
18×cbrt-div
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
8×associate-*r* associate-*l*
7×pow1/3
6×add-exp-log
5×distribute-lft1-in distribute-lft-out
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
12.0ms
(* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x))))
2.0ms
(cbrt (+ (* x (* x x)) (* x x)))
2.0ms
(cbrt (+ (* x (* x x)) (* x x)))
2.0ms
(cbrt (+ (* x (* x x)) (* x x)))

series146.0ms

Calls
4 calls:
Slowest
38.0ms
(cbrt (+ (* x (* x x)) (* x x)))
37.0ms
(cbrt (+ (* x (* x x)) (* x x)))
36.0ms
(* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x))))
35.0ms
(cbrt (+ (* x (* x x)) (* x x)))

simplify5.7s

Calls
69 calls:
Slowest
332.0ms
(* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x)))
328.0ms
(* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x)))
264.0ms
(* (cbrt (+ (pow (* x (* x x)) 3) (pow (* x x) 3))) (cbrt (+ (* x (* x x)) (* x x))))
252.0ms
(* (cbrt (- (* (* x (* x x)) (* x (* x x))) (* (* x x) (* x x)))) (cbrt (+ (* x (* x x)) (* x x))))
233.0ms
(* (cbrt (+ (pow (* x (* x x)) 3) (pow (* x x) 3))) (cbrt (+ (pow (* x (* x x)) 3) (pow (* x x) 3))))

prune615.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes35.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample863.0ms

Algorithm
intervals
Results
590.0ms8000×body80valid
175.0ms8000×pre80true