Details

Time bar (total: 12.0s)

sample67.0ms

Algorithm
intervals
Results
21.0ms45×body1280valid
14.0ms46×body640valid
8.0ms134×body80valid
5.0ms21×body320valid
1.0ms10×body160valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5001
73510
6440
5117
453
330
222
115
09

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (pow (exp x) -2.0)))
0.0b
(+ 1.0 (pow (exp x) -2.0))
0.0b
(pow (exp x) -2.0)
3.1b
(- (/ 2.0 (+ 1.0 (pow (exp x) -2.0))) 1.0)

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
21×add-sqr-sqrt
16×add-cube-cbrt
13×times-frac
8×add-log-exp
6×add-cbrt-cube add-exp-log
5×pow1 distribute-lft-out
4×associate-/r* pow-pow
3×pow-unpow exp-prod unpow-prod-down associate-/l*
2×flip3-+ associate-/r/ flip-+ difference-of-squares
1×pow-to-exp cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp pow-exp div-inv flip-- distribute-lft-out-- sqr-pow
Counts
4 → 80
Calls
4 calls:
16.0ms
(/ 2.0 (+ 1.0 (pow (exp x) -2.0)))
12.0ms
(+ 1.0 (pow (exp x) -2.0))
7.0ms
(pow (exp x) -2.0)
171.0ms
(- (/ 2.0 (+ 1.0 (pow (exp x) -2.0))) 1.0)

series756.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(/ 2.0 (+ 1.0 (pow (exp x) -2.0)))
146.0ms
(+ 1.0 (pow (exp x) -2.0))
157.0ms
(pow (exp x) -2.0)
274.0ms
(- (/ 2.0 (+ 1.0 (pow (exp x) -2.0))) 1.0)

simplify816.0ms

Counts
92 → 92
Iterations
IterNodes
done5000
21158
1347
0148

prune516.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (exp x) -2.0) 1.0)
0.0b
(pow (exp x) -2.0)
3.0b
(log (exp (- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)))
3.1b
(- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)

rewrite497.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×*-un-lft-identity
9×exp-prod add-cube-cbrt
8×add-log-exp
7×log-pow
6×pow1
5×log-prod
4×pow-pow add-cbrt-cube add-exp-log difference-of-squares
3×pow-unpow unpow-prod-down
2×sub-neg times-frac exp-sum distribute-lft-out--
1×pow-to-exp +-commutative log-div sum-log flip3-+ flip3-- exp-diff diff-log rem-log-exp pow-exp flip-+ flip-- distribute-lft-out sqr-pow
Counts
4 → 68
Calls
4 calls:
13.0ms
(+ (pow (exp x) -2.0) 1.0)
3.0ms
(pow (exp x) -2.0)
298.0ms
(log (exp (- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)))
181.0ms
(- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)

series696.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(+ (pow (exp x) -2.0) 1.0)
101.0ms
(pow (exp x) -2.0)
246.0ms
(log (exp (- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)))
204.0ms
(- (/ 2.0 (+ (pow (exp x) -2.0) 1.0)) 1.0)

simplify705.0ms

Counts
80 → 80
Iterations
IterNodes
done5000
21038
1329
0138

prune311.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 1.0) (* 5.551115123125783e-17 (pow x 4)))
0.1b
(* (pow x 3) 0.33333333333333337)
0.4b
(* 5.551115123125783e-17 (pow x 4))
10.0b
(- (- (* x 1.0) (* 5.551115123125783e-17 (pow x 4))) (* (pow x 3) 0.33333333333333337))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
15×associate-*l*
14×add-exp-log
11×*-un-lft-identity add-cube-cbrt add-log-exp
10×associate-*r*
8×unpow-prod-down add-cbrt-cube
7×unswap-sqr
6×prod-exp
4×pow1 diff-log cube-prod sqr-pow
3×sub-neg
2×pow-to-exp flip3-- pow-exp associate--l+ *-commutative cbrt-unprod flip--
1×associate--l- cube-mult unpow3
Counts
4 → 84
Calls
4 calls:
6.0ms
(- (* x 1.0) (* 5.551115123125783e-17 (pow x 4)))
11.0ms
(* (pow x 3) 0.33333333333333337)
24.0ms
(* 5.551115123125783e-17 (pow x 4))
60.0ms
(- (- (* x 1.0) (* 5.551115123125783e-17 (pow x 4))) (* (pow x 3) 0.33333333333333337))

series323.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(- (* x 1.0) (* 5.551115123125783e-17 (pow x 4)))
50.0ms
(* (pow x 3) 0.33333333333333337)
52.0ms
(* 5.551115123125783e-17 (pow x 4))
60.0ms
(- (- (* x 1.0) (* 5.551115123125783e-17 (pow x 4))) (* (pow x 3) 0.33333333333333337))

simplify873.0ms

Counts
96 → 96
Iterations
IterNodes
done5001
21336
1344
0142

prune462.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes132.0ms

Accuracy

100% (0.0b remaining)

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

bsearch133.0ms

Steps
ItersRangePoint
8
7.294142785006675e-07
0.003512390648898176
0.0008133336636844119
7
-0.00181011214377754
-0.00010545444661221848
-0.000929047538918183

simplify5.0ms

Iterations
IterNodes
done35
135
028

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.1s1768×body1280valid
352.0ms1235×body640valid
245.0ms4058×body80valid
169.0ms626×body320valid
32.0ms313×body160valid