Details

Time bar (total: 1.5m)

sample88.0ms

Algorithm
intervals
Results
38.0ms107×body1280valid
15.0ms72×body640valid
12.0ms372×pre80true
6.0ms40×body320valid
5.0ms124×body80valid
3.0ms29×body160valid

simplify8.0ms

Calls
1 calls:
Slowest
8.0ms
(- (exp x) 1)

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.9b

localize5.0ms

Local error

Found 1 expressions with local error:

6.5b
(- (exp x) 1)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×*-un-lft-identity
3×add-log-exp
2×difference-of-squares
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out--
Calls
1 calls:
Slowest
8.0ms
(- (exp x) 1)

series31.0ms

Calls
1 calls:
Slowest
30.0ms
(- (exp x) 1)

simplify387.0ms

Calls
10 calls:
Slowest
255.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
17.0ms
(- (sqrt (exp x)) 1)
17.0ms
(/ (exp (exp x)) (exp 1))
16.0ms
(- (sqrt (exp x)) (sqrt 1))
15.0ms
(+ (sqrt (exp x)) 1)

prune137.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 3 expressions with local error:

0.3b
(* x 1/6)
0.0b
(* (* x x) (+ (* x 1/6) 1/2))
0.0b
(+ (* x 1/6) 1/2)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
6×*-un-lft-identity associate-*r* add-cube-cbrt
5×add-log-exp
4×associate-*l* pow-prod-down prod-exp cbrt-unprod
3×insert-posit16
2×flip3-+ associate-*r/ *-commutative flip-+ unswap-sqr
1×distribute-rgt-in +-commutative sum-log distribute-lft-in
Calls
3 calls:
Slowest
55.0ms
(* (* x x) (+ (* x 1/6) 1/2))
17.0ms
(+ (* x 1/6) 1/2)
10.0ms
(* x 1/6)

series213.0ms

Calls
3 calls:
Slowest
125.0ms
(* (* x x) (+ (* x 1/6) 1/2))
60.0ms
(+ (* x 1/6) 1/2)
28.0ms
(* x 1/6)

simplify1.9s

Calls
34 calls:
Slowest
254.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
240.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
235.0ms
(+ (* (* x 1/6) (* x 1/6)) (- (* 1/2 1/2) (* (* x 1/6) 1/2)))
212.0ms
(+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))
183.0ms
(+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))

prune428.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

6.4b
(- (pow (exp x) 3) (pow 1 3))
0.1b
(pow (exp x) 3)
0.0b
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
0.0b
(* (exp x) (exp x))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
209×add-sqr-sqrt
152×*-un-lft-identity
120×difference-of-squares
102×times-frac
93×unpow-prod-down cube-prod
57×add-cube-cbrt
51×sqr-pow
34×associate-/l*
30×distribute-lft-out--
21×exp-prod
12×pow1
9×add-cbrt-cube
6×cube-mult add-exp-log add-log-exp
5×difference-cubes
4×pow-pow pow-prod-down pow-sqr pow-prod-up insert-posit16
3×pow-unpow associate-/r* swap-sqr associate-*r* associate-*l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow2 pow-to-exp cbrt-undiv clear-num sub-neg frac-2neg flip3-+ pow-plus diff-log unpow3 div-sub div-exp pow-exp prod-exp *-commutative cbrt-unprod flip-+ div-inv rem-cube-cbrt unswap-sqr
Calls
4 calls:
Slowest
95.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
23.0ms
(* (exp x) (exp x))
21.0ms
(- (pow (exp x) 3) (pow 1 3))
3.0ms
(pow (exp x) 3)

series193.0ms

Calls
4 calls:
Slowest
99.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
39.0ms
(- (pow (exp x) 3) (pow 1 3))
35.0ms
(pow (exp x) 3)
20.0ms
(* (exp x) (exp x))

simplify1.1m

Calls
370 calls:
Slowest
571.0ms
(/ (+ (pow (sqrt (exp x)) 3) (pow 1 (/ 3 2))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
568.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (sqrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
539.0ms
(/ (- (sqrt (pow (exp x) 3)) (pow (sqrt 1) 3)) (cbrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
511.0ms
(/ (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1) 3)) (* (cbrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))))
477.0ms
(/ (cbrt (- (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))

prune2.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

6.4b
(- (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3)) (pow 1 3))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
18×difference-of-squares
16×*-un-lft-identity
12×unpow-prod-down
9×cbrt-prod sqr-pow
7×add-cube-cbrt
6×cube-prod add-log-exp
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×pow1/3
2×distribute-lft-out--
1×cube-mult sub-neg flip3-- diff-log flip--
Calls
4 calls:
Slowest
49.0ms
(- (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3)) (pow 1 3))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.7s

Calls
4 calls:
Slowest
823.0ms
(- (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3)) (pow 1 3))
302.0ms
(cbrt x)
279.0ms
(cbrt x)
250.0ms
(cbrt x)

simplify11.8s

Calls
60 calls:
Slowest
641.0ms
(- (sqrt (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3))) (pow 1 3))
580.0ms
(- (sqrt (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3))) (pow 1 (/ 3 2)))
570.0ms
(+ (pow (sqrt (exp (* (cbrt x) (cbrt x)))) (* (cbrt x) 3)) (sqrt (pow 1 3)))
569.0ms
(+ (sqrt (pow (exp (* (cbrt x) (cbrt x))) (* (cbrt x) 3))) (sqrt (pow 1 3)))
561.0ms
(+ (pow (sqrt (exp (* (cbrt x) (cbrt x)))) (* (cbrt x) 3)) (pow 1 (/ 3 2)))

prune953.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes109.0ms

Accuracy

0% (0.4b remaining)

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

bsearch2.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.0s2456×body640valid
1.0s3445×body1280valid
364.0ms11903×pre80true
166.0ms4102×body80valid
153.0ms1267×body320valid
80.0ms633×body160valid