Details

Time bar (total: 17.4s)

sample54.0ms

Algorithm
intervals
Results
39.0ms537×body80valid

simplify215.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
215.0ms
(exp (- (- 1 (* x x))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.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
Counts
1 → 15
Calls
1 calls:
Slowest
4.0ms
(exp (fma x x -1))

series41.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
41.0ms
(exp (fma x x -1))

simplify372.0ms

Counts
8 → 18
Calls
8 calls:
Slowest
273.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
58.0ms
(exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
10.0ms
(exp (* x x))
10.0ms
(exp (sqrt (fma x x -1)))
9.0ms
(exp (fma x x -1))

prune155.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
30×sqrt-pow1
27×exp-prod
26×sqrt-prod
22×*-un-lft-identity add-cube-cbrt
20×pow1
9×pow1/2 swap-sqr
8×pow-prod-up
7×associate-*r* associate-*l* exp-sum fma-udef
6×add-cbrt-cube pow-prod-down add-exp-log pow-sqr add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u unswap-sqr
2×rem-exp-log
1×pow2 rem-sqrt-square rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 114
Calls
4 calls:
Slowest
17.0ms
(* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))))
4.0ms
(exp (fma x x -1))
3.0ms
(sqrt (exp (fma x x -1)))
2.0ms
(exp (fma x x -1))

series164.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
77.0ms
(sqrt (exp (fma x x -1)))
36.0ms
(exp (fma x x -1))
27.0ms
(exp (fma x x -1))
23.0ms
(* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))))

simplify6.9s

Counts
113 → 126
Calls
113 calls:
Slowest
341.0ms
(* (* (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))) (sqrt (exp (fma x x -1)))) (* (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))) (sqrt (exp (fma x x -1)))))
320.0ms
(* (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))))
313.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
312.0ms
(+ (* 1/8 (* (pow x 4) (sqrt (exp -1)))) (+ (* 1/2 (* (pow x 2) (sqrt (exp -1)))) (sqrt (exp -1))))
290.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))

prune911.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (exp (sqrt (exp (fma x x -1)))))
0.0b
(exp (fma x x -1))
0.0b
(exp (fma x x -1))
0.0b
(* (sqrt (exp (fma x x -1))) (log (exp (sqrt (exp (fma x x -1))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt exp-prod
16×*-un-lft-identity log-pow add-cube-cbrt
13×sqrt-prod
11×associate-*r*
9×log-prod
8×pow1
7×associate-*l*
6×add-cbrt-cube add-exp-log add-log-exp
5×exp-sum fma-udef
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-rgt-in distribute-lft-in
2×unswap-sqr rem-exp-log
1×rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 92
Calls
4 calls:
Slowest
32.0ms
(* (sqrt (exp (fma x x -1))) (log (exp (sqrt (exp (fma x x -1))))))
9.0ms
(log (exp (sqrt (exp (fma x x -1)))))
4.0ms
(exp (fma x x -1))
3.0ms
(exp (fma x x -1))

series147.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
58.0ms
(log (exp (sqrt (exp (fma x x -1)))))
34.0ms
(exp (fma x x -1))
32.0ms
(exp (fma x x -1))
23.0ms
(* (sqrt (exp (fma x x -1))) (log (exp (sqrt (exp (fma x x -1))))))

simplify5.5s

Counts
63 → 104
Calls
63 calls:
Slowest
431.0ms
(+ (* 1/8 (* (pow x 4) (sqrt (exp -1)))) (+ (* 1/2 (* (pow x 2) (sqrt (exp -1)))) (sqrt (exp -1))))
353.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
320.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
296.0ms
(* (* (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))) (sqrt (exp (fma x x -1)))) (* (* (log (exp (sqrt (exp (fma x x -1))))) (log (exp (sqrt (exp (fma x x -1)))))) (log (exp (sqrt (exp (fma x x -1)))))))
295.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes16.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.7s

Algorithm
intervals
Results
1.4s16041×body80valid