Details

Time bar (total: 17.2s)

sample453.0ms

Algorithm
intervals
Results
438.0ms519×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
85179
71304
6354
5160
490
351
225
112
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

series25.0ms

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

simplify2.5s

Counts
18 → 18
Iterations
IterNodes
53503
4987
3323
2122
161
034

prune183.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-cube-cbrt add-log-exp
3×associate-*r* associate-*l*
2×expm1-log1p-u add-exp-log insert-posit16 log1p-expm1-u
1×exp-prod exp-to-pow pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
2 → 34
Calls
2 calls:
17.0ms
(* (exp (* x x)) (exp -1))
4.0ms
(exp (* x x))

series134.0ms

Counts
2 → 6
Calls
2 calls:
114.0ms
(* (exp (* x x)) (exp -1))
20.0ms
(exp (* x x))

simplify1.4s

Counts
40 → 40
Iterations
IterNodes
42632
3870
2306
1129
056

prune257.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (exp x) x)
0.0b
(* (pow (exp x) x) (exp -1))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×unpow-prod-down associate-*l*
4×pow-pow add-cbrt-cube
3×pow1 pow-unpow exp-prod associate-*r* prod-exp add-exp-log unswap-sqr sqr-pow
2×expm1-log1p-u pow-to-exp pow-exp insert-posit16 log1p-expm1-u add-log-exp
1×*-commutative cbrt-unprod
Counts
2 → 51
Calls
2 calls:
4.0ms
(pow (exp x) x)
19.0ms
(* (pow (exp x) x) (exp -1))

series150.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(pow (exp x) x)
103.0ms
(* (pow (exp x) x) (exp -1))

simplify2.9s

Counts
57 → 57
Iterations
IterNodes
44685
31449
2494
1186
083

prune438.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt prod-exp
23×add-exp-log
20×associate-*l*
15×*-un-lft-identity add-cube-cbrt
14×unpow-prod-down
13×sqrt-prod
11×add-cbrt-cube
8×pow-to-exp sqrt-pow1 pow-exp
6×pow1 exp-prod
4×expm1-log1p-u associate-*r* cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×sqr-pow
2×rem-sqrt-square pow1/2 *-commutative
Counts
4 → 106
Calls
4 calls:
42.0ms
(* (pow (sqrt (exp x)) x) (* (pow (sqrt (exp x)) x) (exp -1)))
4.0ms
(sqrt (exp x))
4.0ms
(sqrt (exp x))
29.0ms
(* (pow (sqrt (exp x)) x) (exp -1))

series294.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(* (pow (sqrt (exp x)) x) (* (pow (sqrt (exp x)) x) (exp -1)))
20.0ms
(sqrt (exp x))
16.0ms
(sqrt (exp x))
96.0ms
(* (pow (sqrt (exp x)) x) (exp -1))

simplify1.0s

Counts
118 → 118
Iterations
IterNodes
32782
2765
1284
0117

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes20.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
210
110
08

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s16022×body80valid