Details

Time bar (total: 8.8s)

sample33.0ms

Algorithm
intervals
Results
23.0ms512×body80valid

simplify114.0ms

Calls
1 calls:
Slowest
114.0ms
(exp (- (- 1 (* x x))))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (fma x x -1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×exp-prod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 add-cbrt-cube exp-sum add-exp-log fma-udef insert-posit16 log1p-expm1-u rem-exp-log
Calls
1 calls:
Slowest
2.0ms
(exp (fma x x -1))

series24.0ms

Calls
1 calls:
Slowest
24.0ms
(exp (fma x x -1))

simplify226.0ms

Calls
8 calls:
Slowest
157.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
34.0ms
(exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
9.0ms
(exp (sqrt (fma x x -1)))
9.0ms
(exp (fma x x -1))
9.0ms
(exp (fma x x -1))

prune157.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow E (fma x x -1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×pow-unpow
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
1×expm1-log1p-u pow-to-exp pow1 unpow-prod-up add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
2.0ms
(pow E (fma x x -1))

series48.0ms

Calls
1 calls:
Slowest
48.0ms
(pow E (fma x x -1))

simplify186.0ms

Calls
7 calls:
Slowest
154.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
9.0ms
(exp (fma x x -1))
8.0ms
(exp (fma x x -1))
4.0ms
(sqrt (fma x x -1))
4.0ms
(cbrt (fma x x -1))

prune157.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow E (* x x)) (/ 1 E))
0.0b
(pow E (* x x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cbrt-cube associate-*r* add-cube-cbrt
3×associate-*l*
2×expm1-log1p-u pow-to-exp pow1 prod-exp insert-posit16 log1p-expm1-u add-log-exp
1×pow-unpow associate-*r/ un-div-inv *-commutative pow-prod-up cbrt-unprod div-inv inv-pow
Calls
2 calls:
Slowest
5.0ms
(* (pow E (* x x)) (/ 1 E))
1.0ms
(pow E (* x x))

series94.0ms

Calls
2 calls:
Slowest
65.0ms
(* (pow E (* x x)) (/ 1 E))
29.0ms
(pow E (* x x))

simplify1.3s

Calls
16 calls:
Slowest
502.0ms
(+ (* (log E) (* x x)) (log (/ 1 E)))
425.0ms
(* (* (* (pow E (* x x)) (pow E (* x x))) (pow E (* x x))) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))
88.0ms
(+ (* 1/2 (/ (pow x 4) E)) (+ (/ (pow x 2) E) (/ 1 E)))
62.0ms
(+ (log (pow E (* x x))) (log (/ 1 E)))
40.0ms
(+ (pow x 2) (+ (* 1/2 (pow x 4)) 1))

prune310.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))
0.0b
(* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (/ 1 E)))
0.0b
(* (cbrt (pow E (* x x))) (/ 1 E))
0.0b
(pow E (* x x))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
20×add-exp-log
13×associate-*l*
11×add-sqr-sqrt *-un-lft-identity add-cbrt-cube associate-*r* pow-prod-down add-cube-cbrt
10×prod-exp cbrt-unprod
9×cbrt-prod
4×expm1-log1p-u pow1/3 associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×un-div-inv pow-prod-up
1×pow2 pow-to-exp pow-unpow pow-plus div-inv
Calls
4 calls:
Slowest
41.0ms
(* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (/ 1 E)))
12.0ms
(* (cbrt (pow E (* x x))) (/ 1 E))
8.0ms
(* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))
1.0ms
(pow E (* x x))

series424.0ms

Calls
4 calls:
Slowest
197.0ms
(* (cbrt (pow E (* x x))) (/ 1 E))
150.0ms
(* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))
53.0ms
(* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (/ 1 E)))
23.0ms
(pow E (* x x))

simplify3.5s

Calls
58 calls:
Slowest
485.0ms
(* (* (pow E (* x x)) (pow E (* x x))) (* (* (* (cbrt (pow E (* x x))) (/ 1 E)) (* (cbrt (pow E (* x x))) (/ 1 E))) (* (cbrt (pow E (* x x))) (/ 1 E))))
477.0ms
(* (* (* (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x)))) (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))) (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))) (* (pow E (* x x)) (* (* (/ 1 E) (/ 1 E)) (/ 1 E))))
433.0ms
(* (* (pow E (* x x)) (pow E (* x x))) (* (pow E (* x x)) (* (* (/ 1 E) (/ 1 E)) (/ 1 E))))
172.0ms
(+ (log (* (cbrt (pow E (* x x))) (cbrt (pow E (* x x))))) (log (* (cbrt (pow E (* x x))) (/ 1 E))))
132.0ms
(* (pow E (* x x)) (* (* (/ 1 E) (/ 1 E)) (/ 1 E)))

prune776.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s15939×body80valid