Details

Time bar (total: 12.8s)

sample123.0ms

Algorithm
intervals
Results
27.0ms47×body10240exit
25.0ms43×body1280valid
18.0ms55×body640valid
8.0ms111×body80valid
6.0ms28×body320valid
4.0ms3×body2560valid
3.0ms62×body80nan
3.0ms11×body640nan
2.0ms18×body160valid
2.0ms4×body1280nan
1.0ms9×body320nan
0.0ms3×body160nan

simplify189.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.4b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.0b
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.2b
(log (+ (- 1.0 y) (* y (exp z))))
3.4b
(+ (- 1.0 y) (* y (exp z)))

rewrite417.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
12×times-frac
11×pow1
9×add-log-exp
8×add-exp-log add-cbrt-cube
5×log-pow
4×log-div associate-/l*
3×log-prod flip3-+ associate-*r* associate-*l* associate-/r* flip-+
2×associate-+l+ div-sub sum-log
1×cbrt-undiv +-commutative associate-+l- sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 80
Calls
4 calls:
12.0ms
(* y (exp z))
347.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
20.0ms
(log (+ (- 1.0 y) (* y (exp z))))
31.0ms
(+ (- 1.0 y) (* y (exp z)))

series450.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* y (exp z))
278.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
93.0ms
(log (+ (- 1.0 y) (* y (exp z))))
39.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify127.0ms

Counts
92 → 92

prune411.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.8b

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* y (exp z)))
0.5b
(cbrt (* y (exp z)))
3.2b
(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
13.7b
(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
5×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-cbrt-cube
3×log-prod
2×cbrt-prod log-div associate-+l+ flip3-+ pow1/3 sum-log flip-+
1×+-commutative associate-+l- sub-neg diff-log rem-log-exp log-pow
Counts
4 → 47
Calls
4 calls:
7.0ms
(cbrt (* y (exp z)))
7.0ms
(cbrt (* y (exp z)))
60.0ms
(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
72.0ms
(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

series306.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(cbrt (* y (exp z)))
73.0ms
(cbrt (* y (exp z)))
102.0ms
(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
65.0ms
(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

simplify77.0ms

Counts
59 → 59

prune346.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 3.8b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.5 (pow z 2))
0.0b
(+ (* 0.5 (pow z 2)) (* 1.0 z))
4.5b
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
5.2b
(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity
13×add-exp-log
11×associate-*r*
10×add-cbrt-cube
9×times-frac
6×pow1 associate-*l* add-log-exp
5×unswap-sqr
4×unpow-prod-down prod-exp
3×flip3-+ associate-/r* flip-+ associate-/l*
2×associate-*r/ *-commutative cbrt-unprod associate-/l/ unpow2 sqr-pow
1×cbrt-undiv +-commutative distribute-rgt-in pow-to-exp frac-2neg distribute-lft-in div-exp pow-prod-down pow-exp clear-num sum-log div-inv
Counts
4 → 89
Calls
4 calls:
14.0ms
(* 0.5 (pow z 2))
10.0ms
(+ (* 0.5 (pow z 2)) (* 1.0 z))
33.0ms
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
72.0ms
(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

series384.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 0.5 (pow z 2))
85.0ms
(+ (* 0.5 (pow z 2)) (* 1.0 z))
118.0ms
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
153.0ms
(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

simplify40.0ms

Counts
101 → 101

prune507.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 3.8b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 0.5 (pow z 2)) (* 1.0 z))
0.3b
(/ 1 (/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))))
4.5b
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
5.6b
(/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
60×add-sqr-sqrt
58×add-cube-cbrt *-un-lft-identity
19×add-exp-log
18×associate-/r*
13×add-cbrt-cube
11×associate-/r/
8×div-exp
7×pow1 flip3-+ flip-+
6×div-inv associate-/l* add-log-exp
4×cbrt-undiv
3×associate-*r* associate-*l*
2×rec-exp frac-2neg 1-exp associate-*r/ clear-num
1×+-commutative distribute-rgt-in pow-flip distribute-lft-in pow-prod-down prod-exp sum-log *-commutative cbrt-unprod inv-pow unswap-sqr
Counts
4 → 146
Calls
4 calls:
10.0ms
(+ (* 0.5 (pow z 2)) (* 1.0 z))
21.0ms
(/ 1 (/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))))
46.0ms
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
17.0ms
(/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))

series738.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(+ (* 0.5 (pow z 2)) (* 1.0 z))
211.0ms
(/ 1 (/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))))
108.0ms
(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
326.0ms
(/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))

simplify83.0ms

Counts
158 → 158

prune726.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 3.8b

regimes700.0ms

Accuracy

76.5% (3.9b remaining)

Error of 8.4b against oracle of 4.5b and baseline of 21.1b

bsearch124.0ms

Steps
ItersRangePoint
9
-0.17044970707881732
-1.7460360818182969e-09
-9.795130714803148e-08

simplify190.0ms

end0.0ms

sample6.4s

Algorithm
intervals
Results
1.4s1472×body10240exit
1.2s1595×body640valid
1.1s1370×body1280valid
863.0ms3569×body80valid
333.0ms884×body320valid
281.0ms2444×body80nan
129.0ms73×body2560valid
96.0ms531×body160valid
88.0ms267×body640nan
56.0ms122×body1280nan
45.0ms195×body320nan
14.0ms105×body160nan