Details

Time bar (total: 15.6s)

sample60.0ms

Algorithm
intervals
Results
23.0ms57×body1280valid
13.0ms43×body640valid
8.0ms128×body80valid
3.0ms17×body320valid
1.0ms11×body160valid

simplify1.2s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite79.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:
Slowest
54.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
13.0ms
(/ 2 (+ 1 (exp (* -2 x))))
10.0ms
(+ 1 (exp (* -2 x)))

series125.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
75.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
35.0ms
(/ 2 (+ 1 (exp (* -2 x))))
14.0ms
(+ 1 (exp (* -2 x)))

simplify732.0ms

Counts
98 → 76

prune736.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
33×*-un-lft-identity
18×times-frac
15×add-cube-cbrt
11×log-pow
10×exp-prod
8×add-log-exp difference-of-squares
6×add-cbrt-cube add-exp-log
5×pow1 log-prod distribute-lft-out
4×associate-/r* difference-of-sqr-1 insert-posit16
3×associate-/l*
2×sub-neg flip3-+ exp-sum associate-/r/ flip-+ distribute-lft-out--
1×cbrt-undiv +-commutative log-div clear-num sum-log frac-2neg flip3-- exp-diff diff-log div-exp rem-log-exp div-inv flip--
Counts
4 → 93
Calls
4 calls:
Slowest
99.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
46.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
10.0ms
(/ 2 (+ 1 (exp (* -2 x))))
6.0ms
(+ 1 (exp (* -2 x)))

series156.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
66.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
58.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
21.0ms
(/ 2 (+ 1 (exp (* -2 x))))
12.0ms
(+ 1 (exp (* -2 x)))

simplify735.0ms

Counts
132 → 105

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
27×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 add-log-exp
7×associate-*r*
5×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-+r+ flip3-+ pow-plus cube-unmult pow-exp pow-sqr flip-+
Counts
4 → 87
Calls
4 calls:
Slowest
81.0ms
(+ (* (* x (* x x)) -1/3) (+ (* (pow x 5) 2/15) x))
40.0ms
(* (* x (* x x)) -1/3)
26.0ms
(* x (* x x))
16.0ms
(* (pow x 5) 2/15)

series307.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
92.0ms
(* (pow x 5) 2/15)
88.0ms
(+ (* (* x (* x x)) -1/3) (+ (* (pow x 5) 2/15) x))
64.0ms
(* (* x (* x x)) -1/3)
63.0ms
(* x (* x x))

simplify406.0ms

Counts
100 → 99

prune975.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

3.0b
(log (exp (- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)))
2.9b
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)
0.5b
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
0.0b
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))

rewrite529.0ms

Algorithm
rewrite-expression-head
Rules
438×times-frac
320×*-un-lft-identity
306×add-sqr-sqrt
254×sqrt-prod
190×add-cube-cbrt
56×distribute-lft-out
30×associate-/l*
28×difference-of-squares
26×log-pow
25×exp-prod
20×sqrt-div associate-/r/
14×associate-/r* difference-of-sqr-1
11×add-cbrt-cube add-exp-log
10×flip3-+ flip-+ div-inv
6×add-log-exp
5×pow1 log-prod
4×cbrt-undiv div-exp insert-posit16
2×clear-num sub-neg frac-2neg exp-sum distribute-lft-out--
1×log-div flip3-- exp-diff diff-log rem-log-exp flip-- associate-/l/
Counts
4 → 363
Calls
4 calls:
Slowest
294.0ms
(log (exp (- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)))
163.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)
38.0ms
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))
22.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))

series251.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
82.0ms
(log (exp (- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)))
81.0ms
(/ 2 (sqrt (+ 1 (exp (* -2 x)))))
65.0ms
(- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)
22.0ms
(/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x)))))

simplify728.0ms

Counts
615 → 375

prune4.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes148.0ms

Accuracy

100% (0.0b remaining)

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

bsearch139.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
910.0ms1673×body1280valid
794.0ms1287×body640valid
397.0ms4140×body80valid
164.0ms606×body320valid
47.0ms294×body160valid