Details

Time bar (total: 19.9s)

sample154.0ms

Algorithm
intervals
Results
74.0ms106×body1280valid
34.0ms79×body640valid
18.0ms283×body80nan
10.0ms41×body320valid
4.0ms23×body160valid
1.0ms7×body80valid

simplify43.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize44.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.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
5.0ms
(/ (- 1 eps) (+ 1 eps))
3.0ms
(log (/ (- 1 eps) (+ 1 eps)))

series68.0ms

Calls
2 calls:
Slowest
59.0ms
(log (/ (- 1 eps) (+ 1 eps)))
10.0ms
(/ (- 1 eps) (+ 1 eps))

simplify2.5s

Calls
54 calls:
Slowest
315.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
293.0ms
(/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps)))
204.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
192.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
156.0ms
(log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))

prune496.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:

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

rewrite12.0ms

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

series106.0ms

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

simplify858.0ms

Calls
23 calls:
Slowest
210.0ms
(+ (* 2 2) (+ (* (* eps (* eps -2/3)) (* eps (* eps -2/3))) (* 2 (* eps (* eps -2/3)))))
90.0ms
(* (- (* eps (* eps -2/3))) eps)
74.0ms
(* (- (* eps (* eps -2/3))) eps)
70.0ms
(* eps (- (* eps (* eps -2/3))))
59.0ms
(* eps (- (* eps (* eps -2/3))))

prune607.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

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

rewrite21.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×*-commutative
2×diff-log
1×sum-log sub-neg flip3-- associate-*r* pow-prod-down prod-exp cbrt-unprod flip-- associate--r+
Calls
4 calls:
Slowest
14.0ms
(- (* (pow eps 5) -2/5) (+ (* 2 eps) (* (* eps eps) (* eps 2/3))))
4.0ms
(* (* eps eps) (* eps 2/3))
2.0ms
(* (pow eps 5) -2/5)
0.0ms
(* eps 2/3)

series104.0ms

Calls
4 calls:
Slowest
36.0ms
(- (* (pow eps 5) -2/5) (+ (* 2 eps) (* (* eps eps) (* eps 2/3))))
33.0ms
(* (* eps eps) (* eps 2/3))
21.0ms
(* (pow eps 5) -2/5)
13.0ms
(* eps 2/3)

simplify2.0s

Calls
20 calls:
Slowest
443.0ms
(* (* (* (* eps eps) (* eps eps)) (* eps eps)) (* (* (* eps 2/3) (* eps 2/3)) (* eps 2/3)))
294.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
285.0ms
(/ (exp (* (pow eps 5) -2/5)) (exp (+ (* 2 eps) (* (* eps eps) (* eps 2/3)))))
260.0ms
(/ (exp (* (pow eps 5) -2/5)) (* (exp (* 2 eps)) (exp (* (* eps eps) (* eps 2/3)))))
256.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2 eps) (* 2/5 (pow eps 5)))))

prune599.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

7.2b
(log (/ (- 1 eps) (+ 1 eps)))
7.2b
(log (/ (- 1 eps) (+ 1 eps)))
7.2b
(log (/ (- 1 eps) (+ 1 eps)))
0.1b
(cbrt (log (/ (- 1 eps) (+ 1 eps))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
45×log-prod
27×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×add-exp-log
8×pow1
6×rem-log-exp associate-/r/
4×cbrt-prod add-cbrt-cube log-pow insert-posit16 add-log-exp
3×log-div flip3-+ div-exp flip-+ div-inv
1×pow1/3
Calls
4 calls:
Slowest
3.0ms
(log (/ (- 1 eps) (+ 1 eps)))
3.0ms
(log (/ (- 1 eps) (+ 1 eps)))
3.0ms
(log (/ (- 1 eps) (+ 1 eps)))
2.0ms
(cbrt (log (/ (- 1 eps) (+ 1 eps))))

series350.0ms

Calls
4 calls:
Slowest
138.0ms
(cbrt (log (/ (- 1 eps) (+ 1 eps))))
76.0ms
(log (/ (- 1 eps) (+ 1 eps)))
69.0ms
(log (/ (- 1 eps) (+ 1 eps)))
67.0ms
(log (/ (- 1 eps) (+ 1 eps)))

simplify5.0s

Calls
70 calls:
Slowest
352.0ms
(+ (* 22/405 (* (pow eps 4) (exp (* 1/3 (+ (log -2) (log eps)))))) (+ (* 1/9 (* (pow eps 2) (exp (* 1/3 (+ (log -2) (log eps)))))) (exp (* 1/3 (+ (log -2) (log eps))))))
269.0ms
(- (pow (log -1) 1/3) (+ (* 4/9 (* (/ 1 (pow eps 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))) (* 2/3 (* (/ 1 eps) (pow (/ 1 (pow (log -1) 2)) 1/3)))))
262.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
254.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
237.0ms
(- (pow (log -1) 1/3) (+ (* 4/9 (* (/ 1 (pow eps 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))) (* 2/3 (* (/ 1 eps) (pow (/ 1 (pow (log -1) 2)) 1/3)))))

prune764.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes95.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample6.0s

Algorithm
intervals
Results
2.9s3422×body1280valid
1.2s2517×body640valid
1.1s8022×body80nan
421.0ms1198×body320valid
116.0ms641×body160valid
20.0ms222×body80valid