Details

Time bar (total: 41.3s)

sample97.0ms

Algorithm
intervals
Results
33.0ms47×body640valid
32.0ms50×body1280valid
13.0ms134×body80valid
4.0ms12×body320valid
3.0ms13×body160valid

simplify112.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
111.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.8b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite123.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
92.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
19.0ms
(/ 2 (+ 1 (exp (* -2 x))))
10.0ms
(+ 1 (exp (* -2 x)))

series123.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
84.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
21.0ms
(/ 2 (+ 1 (exp (* -2 x))))
17.0ms
(+ 1 (exp (* -2 x)))

simplify6.8s

Counts
57 → 76
Calls
57 calls:
Slowest
400.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
338.0ms
(/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
300.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
205.0ms
(/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x))))))
204.0ms
(- (+ x 1) (* 1/3 (pow x 3)))

prune813.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite202.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
120.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
49.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
20.0ms
(/ 2 (+ 1 (exp (* -2 x))))
11.0ms
(+ 1 (exp (* -2 x)))

series224.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
68.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
37.0ms
(/ 2 (+ 1 (exp (* -2 x))))
17.0ms
(+ 1 (exp (* -2 x)))

simplify9.6s

Counts
77 → 105
Calls
77 calls:
Slowest
428.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
408.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
393.0ms
(/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
279.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
222.0ms
(- (+ x 1) (* 1/3 (pow x 3)))

prune965.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
3.7b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
3.7b
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
3.7b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

rewrite444.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
33×log-pow
30×exp-prod
26×*-un-lft-identity
16×difference-of-squares
15×log-prod
12×times-frac
10×add-cube-cbrt
8×difference-of-sqr-1
7×pow1
6×exp-sum add-log-exp
4×sub-neg add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
3×log-div exp-diff rem-log-exp
1×flip3-- diff-log flip--
Counts
4 → 98
Calls
4 calls:
Slowest
129.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
125.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
115.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
72.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series332.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
101.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
78.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
78.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))
75.0ms
(log (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))

simplify10.9s

Counts
75 → 110
Calls
75 calls:
Slowest
494.0ms
(log (* (cbrt (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1))) (cbrt (exp (- (/ 2 (+ 1 (exp (* -2 x)))) 1)))))
379.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
362.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
357.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
334.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite347.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
20×add-cbrt-cube
18×pow1
15×add-sqr-sqrt
12×prod-exp
10×cbrt-unprod
9×*-un-lft-identity associate-*r* associate-*l* pow-prod-down add-cube-cbrt add-log-exp
4×unpow-prod-down insert-posit16 unswap-sqr
3×sum-log *-commutative
2×sqr-pow
1×pow-to-exp +-commutative associate-+l+ flip3-+ pow-exp flip-+
Counts
4 → 82
Calls
4 calls:
Slowest
249.0ms
(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
73.0ms
(* (* (* x x) -1/3) x)
14.0ms
(* (* x x) -1/3)
8.0ms
(* (pow x 5) 2/15)

series280.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
97.0ms
(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
69.0ms
(* (pow x 5) 2/15)
62.0ms
(* (* (* x x) -1/3) x)
52.0ms
(* (* x x) -1/3)

simplify4.4s

Counts
55 → 94
Calls
55 calls:
Slowest
670.0ms
(* (* (* (* (* x x) -1/3) (* (* x x) -1/3)) (* (* x x) -1/3)) (* (* x x) x))
407.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
372.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
312.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
238.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* -1/3 -1/3) -1/3))

prune830.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes294.0ms

Accuracy

100% (0.0b remaining)

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

bsearch153.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
948.0ms1736×body1280valid
489.0ms1255×body640valid
434.0ms4088×body80valid
363.0ms317×body160valid
169.0ms604×body320valid