Details

Time bar (total: 11.4s)

sample85.0ms

Algorithm
intervals
Results
32.0ms54×body1280valid
15.0ms39×body640valid
12.0ms136×body80valid
9.0ms16×body320valid
2.0ms11×body160valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done2002
82002
7794
6244
5100
450
329
222
118
09

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2 (+ 1 (exp (* -2 x))))
2.9b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×add-sqr-sqrt
15×times-frac
11×add-cube-cbrt
4×associate-/r* add-cbrt-cube add-exp-log distribute-lft-out add-log-exp difference-of-squares
3×associate-/l*
2×pow1 difference-of-sqr-1 associate-/r/ insert-posit16
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log div-exp flip-+ div-inv flip-- distribute-lft-out--
Counts
2 → 54
Calls
2 calls:
20.0ms
(/ 2 (+ 1 (exp (* -2 x))))
89.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series139.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(/ 2 (+ 1 (exp (* -2 x))))
103.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.5s

Counts
60 → 60
Iterations
IterNodes
done2019
42019
31817
2579
1243
0107

prune584.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2 (+ 1 (exp (* x -2))))
2.9b
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×add-sqr-sqrt
15×times-frac
11×add-cube-cbrt
4×associate-/r* add-cbrt-cube add-exp-log distribute-lft-out add-log-exp difference-of-squares
3×associate-/l*
2×pow1 difference-of-sqr-1 associate-/r/ insert-posit16
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log div-exp flip-+ div-inv flip-- distribute-lft-out--
Counts
2 → 54
Calls
2 calls:
10.0ms
(/ 2 (+ 1 (exp (* x -2))))
67.0ms
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

series103.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ 2 (+ 1 (exp (* x -2))))
71.0ms
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

simplify1.1s

Counts
60 → 60
Iterations
IterNodes
done2003
32003
2692
1248
0109

prune485.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow x 5) 2/15)
0.1b
(* -1/3 (* (* x x) x))
0.1b
(* (* x x) x)
23.0b
(+ (* (pow x 5) 2/15) (* -1/3 (* (* x x) x)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1
23×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
12×prod-exp
11×associate-*l*
10×cbrt-unprod
9×*-un-lft-identity pow-prod-down add-cube-cbrt
7×associate-*r*
6×pow-plus pow-prod-up add-log-exp
4×unpow-prod-down insert-posit16 unswap-sqr
3×*-commutative
2×pow2 pow-sqr sqr-pow
1×pow-to-exp +-commutative sum-log flip3-+ pow3 pow-exp flip-+
Counts
4 → 89
Calls
4 calls:
9.0ms
(* (pow x 5) 2/15)
49.0ms
(* -1/3 (* (* x x) x))
37.0ms
(* (* x x) x)
21.0ms
(+ (* (pow x 5) 2/15) (* -1/3 (* (* x x) x)))

series429.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (pow x 5) 2/15)
59.0ms
(* -1/3 (* (* x x) x))
52.0ms
(* (* x x) x)
213.0ms
(+ (* (pow x 5) 2/15) (* -1/3 (* (* x x) x)))

simplify1.3s

Counts
101 → 101
Iterations
IterNodes
done2001
32001
21143
1330
0123

prune982.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes139.0ms

Accuracy

100% (0.0b remaining)

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

bsearch174.0ms

Steps
ItersRangePoint
11
1.8230705747381016e-09
1.4060100021612587e+29
0.00702088019611751
10
-32298.533864343164
-1.9696345359431407e-07
-0.006299562239894887

simplify8.0ms

Iterations
IterNodes
done37
137
025

end0.0ms

sample2.7s

Algorithm
intervals
Results
976.0ms1642×body1280valid
880.0ms1289×body640valid
377.0ms4119×body80valid
228.0ms617×body320valid
79.0ms333×body160valid