Details

Time bar (total: 47.4s)

sample123.0ms

Algorithm
intervals
Results
49.0ms107×body1280valid
40.0ms87×body640valid
13.0ms232×body80valid
8.0ms35×body320valid
2.0ms19×body160valid

simplify74.0ms

Calls
1 calls:
Slowest
73.0ms
(/ (- (exp x) (exp (- x))) 2)

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.2b

localize23.0ms

Local error

Found 1 expressions with local error:

5.8b
(- (exp x) (exp (- x)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
9×prod-diff
8×add-cube-cbrt
3×fma-neg add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
Calls
1 calls:
Slowest
14.0ms
(- (exp x) (exp (- x)))

series68.0ms

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

simplify2.3s

Calls
27 calls:
Slowest
281.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
240.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
196.0ms
(fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
191.0ms
(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
149.0ms
(fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))

prune261.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (fma 1/3 (* x x) 2))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
2×fma-udef
1×distribute-rgt-in expm1-log1p-u distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Calls
1 calls:
Slowest
6.0ms
(* x (fma 1/3 (* x x) 2))

series102.0ms

Calls
1 calls:
Slowest
102.0ms
(* x (fma 1/3 (* x x) 2))

simplify1.5s

Calls
15 calls:
Slowest
744.0ms
(* (* (* x x) x) (* (* (fma 1/3 (* x x) 2) (fma 1/3 (* x x) 2)) (fma 1/3 (* x x) 2)))
186.0ms
(+ (* 2 x) (* 1/3 (pow x 3)))
172.0ms
(+ (* 2 x) (* 1/3 (pow x 3)))
154.0ms
(+ (* 2 x) (* 1/3 (pow x 3)))
38.0ms
(* (sqrt x) (sqrt (fma 1/3 (* x x) 2)))

prune263.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
0.1b
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt *-un-lft-identity
30×flip3-- flip--
28×frac-times
27×prod-diff
26×cbrt-div
25×add-cube-cbrt
14×associate-*l/
10×add-log-exp
9×fma-neg
8×associate-*r/
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg diff-log distribute-lft-out-- difference-of-squares
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
97.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))
23.0ms
(- (exp x) (exp (- x)))
18.0ms
(- (exp x) (exp (- x)))
12.0ms
(- (exp x) (exp (- x)))

series231.0ms

Calls
4 calls:
Slowest
71.0ms
(- (exp x) (exp (- x)))
69.0ms
(- (exp x) (exp (- x)))
51.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))
41.0ms
(- (exp x) (exp (- x)))

simplify19.2s

Calls
112 calls:
Slowest
1.3s
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))
1.1s
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
1000.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))
976.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
761.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (- (exp x) (exp (- x)))))

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

5.8b
(+ (/ -1 (exp x)) (exp x))
5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
0.1b
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
29×add-sqr-sqrt
28×frac-times
26×cbrt-div
25×add-cube-cbrt
20×flip3-- flip--
18×prod-diff
14×associate-*l/
13×fma-def
10×flip3-+ flip-+ add-log-exp
9×times-frac
8×associate-*r/
6×fma-neg
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×sub-neg diff-log distribute-lft-out-- difference-of-squares
1×cbrt-prod +-commutative sum-log pow1/3 div-inv distribute-lft-out
Calls
4 calls:
Slowest
104.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))
30.0ms
(+ (/ -1 (exp x)) (exp x))
26.0ms
(- (exp x) (exp (- x)))
23.0ms
(- (exp x) (exp (- x)))

series553.0ms

Calls
4 calls:
Slowest
370.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))
67.0ms
(- (exp x) (exp (- x)))
63.0ms
(+ (/ -1 (exp x)) (exp x))
52.0ms
(- (exp x) (exp (- x)))

simplify14.1s

Calls
100 calls:
Slowest
946.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))
604.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x)))))
551.0ms
(pow (* (pow (- (exp x) (exp (- x))) 2) (- (exp x) (/ 1 (exp x)))) 1/3)
448.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (/ -1 (exp x)) 3) (pow (exp x) 3))))
412.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (pow (/ -1 (exp x)) 3) (pow (exp x) 3))))

prune1.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes45.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch3.0ms

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.3s3310×body1280valid
1.2s8265×body80valid
1.1s2490×body640valid
362.0ms1258×body320valid
106.0ms648×body160valid