Details

Time bar (total: 14.5s)

sample75.0ms

Algorithm
intervals
Results
27.0ms51×body1280valid
16.0ms43×body640valid
11.0ms135×body80valid
5.0ms17×body320valid
2.0ms10×body160valid

simplify1.3s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
23×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-cbrt-cube add-exp-log distribute-lft-out
4×associate-/r* difference-of-squares
3×pow1 insert-posit16 associate-/l*
2×flip3-+ difference-of-sqr-1 associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- distribute-lft-out--
Counts
3 → 67
Calls
3 calls:
11.0ms
(+ 1 (exp (* -2 x)))
23.0ms
(/ 2 (+ 1 (exp (* -2 x))))
79.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series125.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(+ 1 (exp (* -2 x)))
34.0ms
(/ 2 (+ 1 (exp (* -2 x))))
74.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.5s

Counts
76 → 76
Iterations
IterNodes
done2007
42007
31850
2676
1282
0120

prune272.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite441.0ms

Algorithm
rewrite-expression-head
Rules
109×add-sqr-sqrt
56×cbrt-prod
50×*-un-lft-identity
32×difference-of-squares
25×times-frac
19×swap-sqr
18×difference-of-sqr-1
13×associate-*r* associate-*l*
12×cbrt-div add-cube-cbrt
11×pow1
10×add-log-exp
9×flip3-- flip-- distribute-lft-out--
6×pow1/3 add-exp-log
4×frac-times add-cbrt-cube insert-posit16 unswap-sqr
3×sub-neg diff-log
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 136
Calls
4 calls:
215.0ms
(* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
68.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
91.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
64.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series443.0ms

Counts
4 → 12
Calls
4 calls:
254.0ms
(* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
63.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
65.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
61.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.3s

Counts
148 → 148
Iterations
IterNodes
done2026
42026
31699
2641
1308
0148

prune610.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (log (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
1.9b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
1.9b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
1.9b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

rewrite496.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
17×*-un-lft-identity
12×pow1 cbrt-div exp-prod difference-of-squares
10×add-log-exp
9×times-frac flip3-- log-pow flip--
8×log-div exp-diff
6×pow1/3 difference-of-sqr-1
5×add-cube-cbrt
4×frac-times add-cbrt-cube add-exp-log insert-posit16
3×sub-neg diff-log distribute-lft-out--
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 log-prod pow-plus exp-sum rem-exp-log
Counts
4 → 90
Calls
4 calls:
239.0ms
(exp (log (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
63.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
94.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
97.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series555.0ms

Counts
4 → 12
Calls
4 calls:
288.0ms
(exp (log (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
86.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
98.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
83.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.3s

Counts
102 → 102
Iterations
IterNodes
done2004
42004
31492
2608
1292
0145

prune557.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow x 5) 2/15)
0.1b
(* x (* x x))
0.3b
(* -1/3 (* x (* x x)))
22.1b
(+ (+ (* (pow x 5) 2/15) x) (* -1/3 (* x (* x x))))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
23×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
13×associate-*l*
12×prod-exp
10×cbrt-unprod
9×*-un-lft-identity pow-prod-down add-cube-cbrt add-log-exp
5×associate-*r* pow-prod-up
4×unpow-prod-down insert-posit16 unswap-sqr
3×sum-log *-commutative
2×sqr-pow
1×pow2 pow-to-exp +-commutative associate-+l+ flip3-+ pow-plus cube-unmult pow-exp pow-sqr flip-+
Counts
4 → 87
Calls
4 calls:
10.0ms
(* (pow x 5) 2/15)
18.0ms
(* x (* x x))
67.0ms
(* -1/3 (* x (* x x)))
55.0ms
(+ (+ (* (pow x 5) 2/15) x) (* -1/3 (* x (* x x))))

series261.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(* (pow x 5) 2/15)
45.0ms
(* x (* x x))
53.0ms
(* -1/3 (* x (* x x)))
63.0ms
(+ (+ (* (pow x 5) 2/15) x) (* -1/3 (* x (* x x))))

simplify1.1s

Counts
99 → 99
Iterations
IterNodes
done2000
32000
21212
1335
0133

prune786.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes293.0ms

Accuracy

100% (0.0b remaining)

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

bsearch1.0ms

simplify6.0ms

Iterations
IterNodes
done43
143
030

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.1s1692×body1280valid
644.0ms1236×body640valid
448.0ms4125×body80valid
218.0ms639×body320valid
59.0ms308×body160valid