Details

Time bar (total: 13.2s)

sample54.0ms

Algorithm
intervals
Results
40.0ms495×body80valid

simplify3.8s

Counts
1 → 1
Iterations
IterNodes
done5001
83939
71431
6455
5213
4116
351
225
112
06

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.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:
5.0ms
(exp (fma x x -1))

series33.0ms

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

simplify3.0s

Counts
18 → 18
Iterations
IterNodes
done5002
52717
4786
3299
2112
161
034

prune49.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
11×times-frac
10×*-un-lft-identity
9×add-cube-cbrt
7×prod-exp add-exp-log
6×add-cbrt-cube
4×div-exp
3×pow1 e-exp-1 associate-*l* unswap-sqr
2×rec-exp 1-exp cbrt-unprod
1×expm1-log1p-u cbrt-undiv pow-prod-down associate-*r/ un-div-inv *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 42
Calls
1 calls:
18.0ms
(* (exp (* x x)) (/ 1 E))

series43.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(* (exp (* x x)) (/ 1 E))

simplify1.9s

Counts
45 → 45
Iterations
IterNodes
done5014
42690
31195
2557
1237
094

prune148.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.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:
4.0ms
(exp (fma x x -1))

series39.0ms

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

simplify2.7s

Counts
18 → 18
Iterations
IterNodes
done5002
52717
4786
3299
2112
161
034

prune48.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes36.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done11
111
07

end0.0ms

sample1.2s

Algorithm
intervals
Results
1000.0ms16015×body80valid