Details

Time bar (total: 24.0s)

sample195.0ms

Algorithm
intervals
Results
99.0ms106×body1280valid
44.0ms83×body640valid
21.0ms263×body80nan
12.0ms36×body320valid
5.0ms23×body160valid
1.0ms8×body80valid

simplify43.0ms

Calls
1 calls:
Slowest
43.0ms
(log (/ (- 1 eps) (+ 1 eps)))

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.4b

localize23.0ms

Local error

Found 2 expressions with local error:

5.9b
(log (/ (- 1 eps) (+ 1 eps)))
0.0b
(/ (- 1 eps) (+ 1 eps))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×log-prod
7×add-exp-log
4×add-cbrt-cube associate-/r/
3×pow1 associate-/r* associate-/l*
2×flip3-+ div-exp rem-log-exp flip-+ insert-posit16 div-inv add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-- div-sub log-pow flip--
Calls
2 calls:
Slowest
6.0ms
(/ (- 1 eps) (+ 1 eps))
3.0ms
(log (/ (- 1 eps) (+ 1 eps)))

series77.0ms

Calls
2 calls:
Slowest
61.0ms
(log (/ (- 1 eps) (+ 1 eps)))
16.0ms
(/ (- 1 eps) (+ 1 eps))

simplify2.6s

Calls
54 calls:
Slowest
391.0ms
(/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps)))
238.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
230.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
216.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
163.0ms
(log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))

prune611.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(* eps -2/3)
0.1b
(* eps (* eps -2/3))
0.1b
(* (pow eps 5) -2/5)
0.0b
(- (* (pow eps 5) -2/5) (* eps (- 2 (* eps (* eps -2/3)))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 associate--r+
3×sub-neg associate-*l* *-commutative
2×distribute-rgt-in distribute-lft-in
1×flip3-- diff-log associate-*r* flip--
Calls
4 calls:
Slowest
11.0ms
(- (* (pow eps 5) -2/5) (* eps (- 2 (* eps (* eps -2/3)))))
5.0ms
(* (pow eps 5) -2/5)
2.0ms
(* eps (* eps -2/3))
0.0ms
(* eps -2/3)

series106.0ms

Calls
4 calls:
Slowest
42.0ms
(- (* (pow eps 5) -2/5) (* eps (- 2 (* eps (* eps -2/3)))))
34.0ms
(* (pow eps 5) -2/5)
18.0ms
(* eps (* eps -2/3))
11.0ms
(* eps -2/3)

simplify1.4s

Calls
19 calls:
Slowest
266.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
246.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2 eps) (* 2/5 (pow eps 5)))))
241.0ms
(/ (exp (* (pow eps 5) -2/5)) (exp (* eps (- 2 (* eps (* eps -2/3))))))
212.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2 eps) (* 2/5 (pow eps 5)))))
101.0ms
(* (- (* eps (* eps -2/3))) eps)

prune534.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b
(* eps 2/3)
0.1b
(* (* eps eps) (* eps 2/3))
0.1b
(* (pow eps 5) -2/5)
0.0b
(- (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l* insert-posit16
3×diff-log *-commutative
2×sub-neg associate--l+
1×associate--l- flip3-- associate-*r* pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
25.0ms
(- (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))
8.0ms
(* (* eps eps) (* eps 2/3))
5.0ms
(* (pow eps 5) -2/5)
0.0ms
(* eps 2/3)

series87.0ms

Calls
4 calls:
Slowest
36.0ms
(- (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))
23.0ms
(* (pow eps 5) -2/5)
20.0ms
(* (* eps eps) (* eps 2/3))
7.0ms
(* eps 2/3)

simplify2.0s

Calls
22 calls:
Slowest
449.0ms
(* (* (* (* eps eps) (* eps eps)) (* eps eps)) (* (* (* eps 2/3) (* eps 2/3)) (* eps 2/3)))
362.0ms
(/ (/ (exp (* (pow eps 5) -2/5)) (exp (* 2 eps))) (exp (* (* eps eps) (* eps 2/3))))
287.0ms
(/ (exp (- (* (pow eps 5) -2/5) (* 2 eps))) (exp (* (* eps eps) (* eps 2/3))))
276.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2 eps) (* 2/5 (pow eps 5)))))
243.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))

prune956.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

28.6b
(/ (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3)))) (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))))
0.3b
(* eps 2/3)
0.3b
(* eps 2/3)
0.3b
(* eps 2/3)

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
6×add-cbrt-cube add-exp-log
4×pow1 insert-posit16 associate-/l* add-log-exp difference-of-squares
3×associate-/r* *-commutative
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp flip-+ div-inv flip--
Calls
4 calls:
Slowest
106.0ms
(/ (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3)))) (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))))
1.0ms
(* eps 2/3)
0.0ms
(* eps 2/3)
0.0ms
(* eps 2/3)

series97.0ms

Calls
4 calls:
Slowest
63.0ms
(/ (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3)))) (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))))
12.0ms
(* eps 2/3)
12.0ms
(* eps 2/3)
10.0ms
(* eps 2/3)

simplify8.9s

Calls
49 calls:
Slowest
828.0ms
(/ (* (* (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3)))) (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3))))) (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3))))) (* (* (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))) (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))) (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))))
551.0ms
(sqrt (- (* (- (* (pow eps 5) -2/5) (* 2 eps)) (- (* (pow eps 5) -2/5) (* 2 eps))) (* (* (* eps eps) (* eps 2/3)) (* (* eps eps) (* eps 2/3)))))
367.0ms
(/ (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))) (* (cbrt (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))) (cbrt (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))))))
354.0ms
(/ (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))) 1)
347.0ms
(/ (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3))) (sqrt (+ (- (* (pow eps 5) -2/5) (* 2 eps)) (* (* eps eps) (* eps 2/3)))))

prune717.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes73.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.9s3464×body1280valid
1.2s2497×body640valid
585.0ms7905×body80nan
344.0ms1216×body320valid
103.0ms613×body160valid
16.0ms210×body80valid