Details

Time bar (total: 19.4s)

sample186.0ms

Algorithm
intervals
Results
95.0ms107×body1280valid
39.0ms77×body640valid
17.0ms228×body80nan
16.0ms38×body320valid
5.0ms23×body160valid
1.0ms11×body80valid

simplify28.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.7b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.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
22.0ms
(log (/ (- 1 eps) (+ 1 eps)))
8.0ms
(/ (- 1 eps) (+ 1 eps))

series96.0ms

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

simplify2.9s

Calls
54 calls:
Slowest
408.0ms
(/ (* (* (- 1 eps) (- 1 eps)) (- 1 eps)) (* (* (+ 1 eps) (+ 1 eps)) (+ 1 eps)))
295.0ms
(- (+ (* 2/3 (pow eps 3)) (+ (* 2/5 (pow eps 5)) (* 2 eps))))
229.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
200.0ms
(- (log -1) (+ (* 2 (/ 1 eps)) (* 2/3 (/ 1 (pow eps 3)))))
183.0ms
(log (/ (* (cbrt (- 1 eps)) (cbrt (- 1 eps))) (* (cbrt (+ 1 eps)) (cbrt (+ 1 eps)))))

prune513.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize29.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))
1.0ms
(* eps -2/3)

series92.0ms

Calls
4 calls:
Slowest
45.0ms
(* eps (- 2 (* eps (* eps -2/3))))
19.0ms
(* (pow eps 5) -2/5)
16.0ms
(* eps (* eps -2/3))
11.0ms
(* eps -2/3)

simplify868.0ms

Calls
23 calls:
Slowest
241.0ms
(+ (* 2 2) (+ (* (* eps (* eps -2/3)) (* eps (* eps -2/3))) (* 2 (* eps (* eps -2/3)))))
106.0ms
(* (- (* eps (* eps -2/3))) eps)
67.0ms
(* (- (* eps (* eps -2/3))) eps)
60.0ms
(+ (* 2/3 (pow eps 3)) (* 2 eps))
59.0ms
(* eps (- (* eps (* eps -2/3))))

prune606.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize23.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
(+ (* 2 eps) (* (* eps eps) (* eps 2/3)))

rewrite11.0ms

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

series126.0ms

Calls
4 calls:
Slowest
63.0ms
(+ (* 2 eps) (* (* eps eps) (* eps 2/3)))
34.0ms
(* (pow eps 5) -2/5)
22.0ms
(* (* eps eps) (* eps 2/3))
7.0ms
(* eps 2/3)

simplify959.0ms

Calls
18 calls:
Slowest
473.0ms
(* (* (* (* eps eps) (* eps eps)) (* eps eps)) (* (* (* eps 2/3) (* eps 2/3)) (* eps 2/3)))
125.0ms
(* (exp (* 2 eps)) (exp (* (* eps eps) (* eps 2/3))))
73.0ms
(+ (* 2/3 (pow eps 3)) (* 2 eps))
69.0ms
(+ (* 2/3 (pow eps 3)) (* 2 eps))
57.0ms
(+ (* 2/3 (pow eps 3)) (* 2 eps))

prune505.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

6.6b
(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
6.6b
(log (/ (- 1 eps) (+ (* eps (* eps eps)) 1)))
0.1b
(* eps (* eps eps))
0.0b
(/ (- 1 eps) (+ (* eps (* eps eps)) 1))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
20×add-sqr-sqrt add-cube-cbrt
19×log-prod
18×times-frac
10×add-exp-log
6×pow1 add-cbrt-cube
4×associate-/r/ insert-posit16 add-log-exp
3×log-div associate-/r* flip3-+ rem-log-exp flip-+ associate-/l*
2×div-exp log-pow div-inv associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub cube-unmult associate-*r* *-commutative flip-- distribute-lft-out
Calls
4 calls:
Slowest
11.0ms
(/ (- 1 eps) (+ (* eps (* eps eps)) 1))
10.0ms
(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
6.0ms
(log (/ (- 1 eps) (+ (* eps (* eps eps)) 1)))
2.0ms
(* eps (* eps eps))

series103.0ms

Calls
4 calls:
Slowest
40.0ms
(log (/ (- 1 eps) (+ (* eps (* eps eps)) 1)))
34.0ms
(log (+ (* 1 1) (- (* eps eps) (* 1 eps))))
16.0ms
(/ (- 1 eps) (+ (* eps (* eps eps)) 1))
13.0ms
(* eps (* eps eps))

simplify5.2s

Calls
67 calls:
Slowest
433.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* eps eps) (* 1 eps)) (- (* eps eps) (* 1 eps)))))
407.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* eps eps) (* 1 eps)) 3)))
363.0ms
(+ (* (* eps (* eps eps)) (* eps (* eps eps))) (- (* 1 1) (* (* eps (* eps eps)) 1)))
324.0ms
(- (+ (* 2 (log (/ -1 eps))) (log -1)) (+ (/ 1 eps) (* 1/2 (/ 1 (pow eps 2)))))
318.0ms
(- (+ (* 1/2 (pow eps 2)) (+ (* 4/3 (pow eps 3)) eps)))

prune778.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes56.0ms

Accuracy

0% (0.2b remaining)

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

bsearch4.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
3.3s3414×body1280valid
1.3s2476×body640valid
711.0ms7955×body80nan
455.0ms1252×body320valid
123.0ms650×body160valid
21.0ms208×body80valid