Details

Time bar (total: 39.2s)

sample44.0ms

Algorithm
intervals
Results
33.0ms501×body80valid

simplify158.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite3.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
2.0ms
(exp (fma x x -1))

series28.0ms

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

simplify435.0ms

Counts
8 → 18
Calls
8 calls:
Slowest
307.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
96.0ms
(exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
14.0ms
(exp (sqrt (fma x x -1)))
6.0ms
(exp (* x x))
5.0ms
(exp (fma x x -1))

prune152.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 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))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
26×sqrt-pow1
24×exp-prod
22×sqrt-prod
19×*-un-lft-identity add-cube-cbrt
18×pow1
9×swap-sqr
8×pow1/2 pow-prod-up
7×associate-*r* associate-*l*
6×exp-sum pow-prod-down pow-sqr fma-udef
5×add-cbrt-cube add-exp-log add-log-exp
4×unswap-sqr
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×rem-exp-log
1×pow2 rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
3 → 94
Calls
3 calls:
Slowest
31.0ms
(* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))))
3.0ms
(exp (fma x x -1))
3.0ms
(exp (fma x x -1))

series99.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
39.0ms
(exp (fma x x -1))
38.0ms
(exp (fma x x -1))
23.0ms
(* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))))

simplify6.0s

Counts
101 → 103
Calls
101 calls:
Slowest
336.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
315.0ms
(* (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))))
302.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)))))
274.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
234.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))

prune924.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1))))
1.0b
(* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
0.0b
(exp (fma x x -1))
0.0b
(exp (fma x x -1))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
33×exp-prod
23×pow1
17×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
15×pow-prod-up
9×add-cbrt-cube pow-prod-down
6×pow-plus add-log-exp
5×add-exp-log pow-sqr
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u
3×exp-sum prod-exp cbrt-unprod fma-udef
2×pow2 pow3 rem-exp-log
1×cbrt-prod pow1/3 associate-*l* *-commutative rem-cbrt-cube unswap-sqr
Counts
4 → 84
Calls
4 calls:
Slowest
56.0ms
(* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
47.0ms
(cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1))))
2.0ms
(exp (fma x x -1))
2.0ms
(exp (fma x x -1))

series179.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
93.0ms
(* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))
39.0ms
(exp (fma x x -1))
23.0ms
(cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1))))
23.0ms
(exp (fma x x -1))

simplify4.4s

Counts
68 → 96
Calls
68 calls:
Slowest
465.0ms
(* (* (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))))
297.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
272.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
266.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
263.0ms
(* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))

prune908.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
132×cbrt-prod
107×add-sqr-sqrt
72×sqrt-prod
41×*-un-lft-identity add-cube-cbrt
36×swap-sqr
30×associate-*r* associate-*l*
27×unswap-sqr
25×pow1
18×pow1/3
13×exp-sum fma-udef
10×add-exp-log
6×pow-prod-down pow-sqr pow-prod-up
5×add-log-exp
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×pow2 exp-prod pow-plus prod-exp *-commutative cbrt-unprod
1×rem-exp-log
Counts
4 → 201
Calls
4 calls:
Slowest
24.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
16.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
15.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
2.0ms
(exp (fma x x -1))

series934.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
534.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
198.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
176.0ms
(* (cbrt (sqrt (exp (fma x x -1)))) (cbrt (sqrt (exp (fma x x -1)))))
25.0ms
(exp (fma x x -1))

simplify21.5s

Counts
239 → 213
Calls
239 calls:
Slowest
403.0ms
(+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
393.0ms
(+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
376.0ms
(+ (* 1/18 (* (pow x 4) (exp -1/3))) (+ (exp -1/3) (* 1/3 (* (pow x 2) (exp -1/3)))))
244.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
211.0ms
(* (* (cbrt (cbrt (sqrt (exp (fma x x -1))))) (cbrt (cbrt (sqrt (exp (fma x x -1)))))) (* (cbrt (cbrt (sqrt (exp (fma x x -1))))) (cbrt (cbrt (sqrt (exp (fma x x -1)))))))

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes40.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.2s

Algorithm
intervals
Results
1.0s15874×body80valid