Details

Time bar (total: 20.9s)

sample89.0ms

Algorithm
intervals
Results
40.0ms48×body1280valid
13.0ms40×body640valid
9.0ms133×body80valid
5.0ms22×body320valid
2.0ms13×body160valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11510
22210
33010
45310
511510
627010
777610
8294810
done500110

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b
(+ 1.0 (exp (* -2.0 x)))
3.3b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
17×add-sqr-sqrt
13×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-exp-log add-cbrt-cube distribute-lft-out
4×associate-/r*
3×pow1 associate-/l*
2×flip3-+ associate-/r/ flip-+ difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp clear-num sum-log flip-- div-inv distribute-lft-out--
Counts
3 → 60
Calls
3 calls:
17.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
11.0ms
(+ 1.0 (exp (* -2.0 x)))
99.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series195.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
22.0ms
(+ 1.0 (exp (* -2.0 x)))
122.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify3.5s

Counts
69 → 69
Iterations

Useful iterations: 4 (1.4s)

IterNodesCost
0116947
1252903
2555847
31212838
43536836
done5000836

prune262.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
0.0b
(log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
0.0b
(+ 1.0 (exp (* -2.0 x)))
3.3b
(- (log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)

rewrite432.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
36×exp-prod
24×add-sqr-sqrt times-frac
22×add-cube-cbrt
20×log-pow
8×add-log-exp
7×distribute-lft-out
6×pow1 log-prod
4×add-exp-log associate-/r/ add-cbrt-cube
3×flip3-+ associate--l+ flip-+
2×div-inv distribute-lft-out--
1×+-commutative sub-neg flip3-- diff-log rem-log-exp sum-log flip-- rem-exp-log difference-of-squares
Counts
4 → 86
Calls
4 calls:
39.0ms
(exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
34.0ms
(log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
15.0ms
(+ 1.0 (exp (* -2.0 x)))
336.0ms
(- (log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)

series301.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
50.0ms
(log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
24.0ms
(+ 1.0 (exp (* -2.0 x)))
133.0ms
(- (log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)

simplify2.7s

Counts
98 → 98
Iterations

Useful iterations: 4 (1.1s)

IterNodesCost
01491272
12871109
25931041
312611029
432541025
done50001025

prune354.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* 1.0 x) (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337)))
0.1b
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*l*
7×add-exp-log
6×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down cube-prod add-cbrt-cube add-log-exp unswap-sqr
3×associate-*r* prod-exp
2×pow1 distribute-rgt-in distribute-lft-in associate-*r/ associate--r+ sqr-pow
1×cube-mult pow-to-exp sub-neg flip3-- flip3-+ diff-log unpow3 pow-exp *-commutative flip-- cbrt-unprod flip-+
Counts
2 → 49
Calls
2 calls:
8.0ms
(- (* 1.0 x) (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337)))
42.0ms
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

series228.0ms

Counts
2 → 6
Calls
2 calls:
90.0ms
(- (* 1.0 x) (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337)))
137.0ms
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

simplify1.5s

Counts
55 → 55
Iterations

Useful iterations: 2 (283.0ms)

IterNodesCost
096823
1290766
21228704
done5000704

prune215.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))
1.0b
(log (exp (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×associate-*l*
7×add-exp-log add-cube-cbrt *-un-lft-identity
5×log-prod
4×unpow-prod-down cube-prod add-cbrt-cube unswap-sqr
3×pow1 associate-*r* prod-exp log-pow add-log-exp
2×distribute-rgt-in distribute-lft-in associate-*r/ exp-sum sqr-pow
1×cube-mult pow-to-exp exp-prod exp-to-pow flip3-+ unpow3 rem-log-exp pow-exp *-commutative cbrt-unprod flip-+
Counts
2 → 51
Calls
2 calls:
40.0ms
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))
5.0ms
(log (exp (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))))

series280.0ms

Counts
2 → 6
Calls
2 calls:
140.0ms
(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))
139.0ms
(log (exp (* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))))

simplify4.9s

Counts
57 → 57
Iterations

Useful iterations: 2 (194.0ms)

IterNodesCost
094762
1241693
2957621
34548621
done5000621

prune143.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes226.0ms

Accuracy

99.1% (0.3b remaining)

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

bsearch2.0ms

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02649
13538
done3538

end0.0ms

sample1.9s

Algorithm
intervals
Results
693.0ms1280×body640valid
558.0ms1700×body1280valid
231.0ms4031×body80valid
85.0ms643×body320valid
65.0ms346×body160valid