Details

Time bar (total: 18.7s)

sample53.0ms

Algorithm
intervals
Results
40.0ms519×body80valid

simplify4.8s

Counts
1 → 1
Iterations
IterNodes
85066
71285
6347
5156
486
349
225
112
06

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
4×exp-prod
3×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2×pow1 difference-of-sqr--1 sum-log add-cbrt-cube add-exp-log insert-posit16 rem-exp-log
1×+-commutative flip3-+ exp-sum flip-+
Counts
2 → 28
Calls
2 calls:
11.0ms
(+ (* x x) -1)
15.0ms
(exp (+ (* x x) -1))

series104.0ms

Counts
2 → 6
Calls
2 calls:
70.0ms
(+ (* x x) -1)
33.0ms
(exp (+ (* x x) -1))

simplify2.9s

Counts
34 → 34
Iterations
IterNodes
47433
31813
2473
1137
053

prune209.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
10×add-sqr-sqrt
8×exp-prod
7×pow-unpow
6×add-cube-cbrt
5×pow-pow add-log-exp
4×unpow-prod-down
3×pow1
2×unpow-prod-up add-cbrt-cube exp-sum add-exp-log insert-posit16 distribute-lft-out difference-of-squares rem-exp-log
1×pow-to-exp sum-log sub-neg difference-of-sqr-1 pow-exp distribute-lft-out-- pow-sub sqr-pow
Counts
2 → 45
Calls
2 calls:
10.0ms
(exp (+ x 1))
16.0ms
(pow (exp (+ x 1)) (- x 1))

series126.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(exp (+ x 1))
117.0ms
(pow (exp (+ x 1)) (- x 1))

simplify1.9s

Counts
51 → 51
Iterations
IterNodes
44026
31573
2586
1211
080

prune370.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (+ x 1)) (- x 1))
1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))
1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))
1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
18×*-un-lft-identity
17×add-sqr-sqrt
16×unpow-prod-down
13×add-cube-cbrt
8×unpow-prod-up
7×pow-unpow
5×pow1 pow-pow
4×exp-prod sub-neg add-cbrt-cube exp-sum add-exp-log insert-posit16 pow-sub add-log-exp sqr-pow
3×cbrt-div pow1/3
2×difference-of-squares
1×pow-to-exp difference-of-sqr-1 pow-exp distribute-lft-out distribute-lft-out--
Counts
4 → 90
Calls
4 calls:
23.0ms
(pow (exp (+ x 1)) (- x 1))
12.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
7.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
7.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))

series1.1s

Counts
4 → 12
Calls
4 calls:
144.0ms
(pow (exp (+ x 1)) (- x 1))
368.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
280.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
269.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))

simplify1.9s

Counts
102 → 102
Iterations
IterNodes
44939
31720
2635
1237
0101

prune531.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))
1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))
1.0b
(cbrt (pow (exp (+ x 1)) (- x 1)))
1.0b
(cbrt (* (* (cbrt (pow (exp (+ x 1)) (- x 1))) (cbrt (pow (exp (+ x 1)) (- x 1)))) (cbrt (pow (exp (+ x 1)) (- x 1)))))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
31×cbrt-prod
22×cbrt-div
15×pow-sub
12×unpow-prod-down
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×unpow-prod-up
5×frac-times associate-*l/
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
3×sub-neg exp-sum associate-*r/ sqr-pow
1×pow3 rem-cbrt-cube
Counts
4 → 78
Calls
4 calls:
7.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
7.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
8.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
82.0ms
(cbrt (* (* (cbrt (pow (exp (+ x 1)) (- x 1))) (cbrt (pow (exp (+ x 1)) (- x 1)))) (cbrt (pow (exp (+ x 1)) (- x 1)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
288.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
267.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
356.0ms
(cbrt (pow (exp (+ x 1)) (- x 1)))
249.0ms
(cbrt (* (* (cbrt (pow (exp (+ x 1)) (- x 1))) (cbrt (pow (exp (+ x 1)) (- x 1)))) (cbrt (pow (exp (+ x 1)) (- x 1)))))

simplify1.1s

Counts
90 → 90
Iterations
IterNodes
42642
3961
2383
1187
098

prune693.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
29
19
06

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s16022×body80valid