Details

Time bar (total: 16.8s)

sample80.0ms

Algorithm
intervals
Results
25.0ms51×body1280valid
18.0ms43×body640valid
16.0ms135×body80valid
4.0ms17×body320valid
2.0ms10×body160valid

simplify1.7s

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

localize12.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)

rewrite134.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:
12.0ms
(+ 1 (exp (* -2 x)))
21.0ms
(/ 2 (+ 1 (exp (* -2 x))))
100.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series133.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(+ 1 (exp (* -2 x)))
30.0ms
(/ 2 (+ 1 (exp (* -2 x))))
82.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.4s

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

prune647.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize59.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)

rewrite424.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:
240.0ms
(* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
78.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
51.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
53.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series529.0ms

Counts
4 → 12
Calls
4 calls:
269.0ms
(* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
73.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
97.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
90.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.4s

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

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize51.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)

rewrite403.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:
226.0ms
(exp (log (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
53.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
48.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
75.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series458.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(exp (log (* (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)) (cbrt (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
98.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
63.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
69.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify1.1s

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

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.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))))

rewrite148.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:
8.0ms
(* (pow x 5) 2/15)
24.0ms
(* x (* x x))
38.0ms
(* -1/3 (* x (* x x)))
76.0ms
(+ (+ (* (pow x 5) 2/15) x) (* -1/3 (* x (* x x))))

series295.0ms

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

simplify1.1s

Counts
99 → 99
Iterations
IterNodes
done2000
32000
21212
1335
0133

prune810.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes298.0ms

Accuracy

100% (0.0b remaining)

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

bsearch2.0ms

simplify6.0ms

Iterations
IterNodes
done43
143
030

end0.0ms

sample2.6s

Algorithm
intervals
Results
851.0ms1692×body1280valid
788.0ms4125×body80valid
537.0ms1236×body640valid
215.0ms639×body320valid
51.0ms308×body160valid