Details

Time bar (total: 1.2min)

sample1.6s

Algorithm
intervals
Results
1.3s126×body5120exit
122.0ms61×body1280nan
81.0ms257×body80valid
64.0ms43×body640nan
19.0ms18×body320nan
9.0ms14×body160nan
3.0ms7×body80nan

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: done (1.2s)

IterNodesCost
060123
1148123
2592121
3362198
done500088

prune19.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.9b

Counts
2 → 2

localize56.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (+ (/ -0.13857109526572012 (+ 6.0 (neg z))) (+ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (/ 9.984369578019572e-06 (+ (neg z) 7.0))) (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z))))) (+ (/ 12.507343278686905 (+ 5.0 (neg z))) (/ 1.5056327351493116e-07 (+ 8.0 (neg z)))))
1.0b
(/ (pow (+ 0.5 (+ (neg z) 7.0)) (+ (neg z) 0.5)) (exp (+ 0.5 (+ (neg z) 7.0))))
1.0b
(sqrt (* PI 2.0))
2.6b
(+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z)))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
302×frac-add
200×*-un-lft-identity
138×add-log-exp
135×distribute-lft-out
110×sum-log
87×flip3-+ flip-+
44×times-frac
30×unpow-prod-down
26×add-sqr-sqrt add-cube-cbrt
12×exp-sum
11×associate-/l*
7×pow1
6×add-exp-log add-cbrt-cube
5×unpow-prod-up distribute-rgt-neg-in sqr-pow
4×associate-/r*
3×div-exp
2×+-commutative neg-sub0 associate-+l- associate-+l+ sqrt-pow1
1×cbrt-undiv pow-to-exp associate-+r- associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down pow-exp clear-num sqrt-prod associate-/r/ div-inv associate-/l/ pow-sub
Counts
4 → 231
Calls
4 calls:
162.0ms
(+ (+ (/ -0.13857109526572012 (+ 6.0 (neg z))) (+ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (/ 9.984369578019572e-06 (+ (neg z) 7.0))) (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z))))) (+ (/ 12.507343278686905 (+ 5.0 (neg z))) (/ 1.5056327351493116e-07 (+ 8.0 (neg z)))))
22.0ms
(/ (pow (+ 0.5 (+ (neg z) 7.0)) (+ (neg z) 0.5)) (exp (+ 0.5 (+ (neg z) 7.0))))
3.0ms
(sqrt (* PI 2.0))
23.0ms
(+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z)))

series39.0ms

Counts
4 → 10
Calls
4 calls:
16.0ms
(+ (+ (/ -0.13857109526572012 (+ 6.0 (neg z))) (+ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (/ 9.984369578019572e-06 (+ (neg z) 7.0))) (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z))))) (+ (/ 12.507343278686905 (+ 5.0 (neg z))) (/ 1.5056327351493116e-07 (+ 8.0 (neg z)))))
18.0ms
(/ (pow (+ 0.5 (+ (neg z) 7.0)) (+ (neg z) 0.5)) (exp (+ 0.5 (+ (neg z) 7.0))))
0.0ms
(sqrt (* PI 2.0))
5.0ms
(+ (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (neg z) 2.0))) (/ 676.5203681218851 (- 1.0 z)))

simplify931.0ms

Counts
241 → 241
Iterations

Useful iterations: done (888.0ms)

IterNodesCost
090734132
1357430208
done500127588

prune5.3s

Filtered
171 candidates to 241 candidates (-40.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New23110241
Fresh101
Picked101
Done000
Total23310243

Merged error: 0.0b

Counts
243 → 10

localize54.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
1.0b
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b
(/ (pow (+ (- 0.5 z) 7.0) (- 0.5 z)) (exp (+ (- 0.5 z) 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
247×*-un-lft-identity
158×frac-add
140×add-log-exp
138×distribute-lft-out
112×sum-log
68×times-frac
50×flip3-+ flip-+
26×add-sqr-sqrt add-cube-cbrt
25×unpow-prod-down
17×distribute-lft-out--
12×exp-sum
11×associate-/l*
10×unpow-prod-up
7×pow1
6×add-exp-log add-cbrt-cube
5×sub-neg sqr-pow
4×associate-/r*
3×div-exp
2×+-commutative sqrt-pow1
1×cbrt-undiv pow-to-exp associate-+l- associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down pow-exp clear-num sqrt-prod associate-/r/ div-inv associate-/l/ pow-sub
Counts
4 → 209
Calls
4 calls:
157.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
43.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
20.0ms
(/ (pow (+ (- 0.5 z) 7.0) (- 0.5 z)) (exp (+ (- 0.5 z) 7.0)))
3.0ms
(sqrt (* PI 2.0))

series40.0ms

Counts
4 → 10
Calls
4 calls:
16.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
7.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
17.0ms
(/ (pow (+ (- 0.5 z) 7.0) (- 0.5 z)) (exp (+ (- 0.5 z) 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify720.0ms

Counts
219 → 219
Iterations

Useful iterations: done (689.0ms)

IterNodesCost
079920717
1279619553
done500019490

prune3.0s

Filtered
135 candidates to 219 candidates (-62.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2163219
Fresh549
Picked101
Done000
Total2227229

Merged error: 0.0b

Counts
229 → 7

localize61.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
1.0b
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b
(/ (sqrt (pow (+ (- 0.5 z) 7.0) (- 0.5 z))) (exp 7.0))
1.0b
(sqrt (* PI 2.0))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
247×*-un-lft-identity
158×frac-add
140×add-log-exp
136×distribute-lft-out
112×sum-log
66×times-frac
50×flip3-+ flip-+
45×sqrt-prod
31×add-sqr-sqrt add-cube-cbrt
20×unpow-prod-down
16×distribute-lft-out--
14×associate-/l*
8×unpow-prod-up
7×pow1
6×add-cbrt-cube
5×add-exp-log
4×sub-neg sqr-pow
3×associate-/r*
2×+-commutative sqrt-pow1
1×cbrt-undiv associate-+l+ associate-+r+ frac-2neg pow1/2 sqrt-div div-exp pow-prod-down clear-num div-inv associate-/l/ pow-sub
Counts
4 → 206
Calls
4 calls:
155.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
47.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
15.0ms
(/ (sqrt (pow (+ (- 0.5 z) 7.0) (- 0.5 z))) (exp 7.0))
3.0ms
(sqrt (* PI 2.0))

series51.0ms

Counts
4 → 10
Calls
4 calls:
16.0ms
(+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) 0.9999999999998099) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 12.507343278686905 (- 5.0 z)))) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))))
12.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
23.0ms
(/ (sqrt (pow (+ (- 0.5 z) 7.0) (- 0.5 z))) (exp 7.0))
0.0ms
(sqrt (* PI 2.0))

simplify708.0ms

Counts
216 → 216
Iterations

Useful iterations: done (676.0ms)

IterNodesCost
079620330
1277419136
done500019058

prune2.9s

Filtered
132 candidates to 216 candidates (-63.6%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2151216
Fresh066
Picked011
Done000
Total2158223

Merged error: 0.0b

Counts
223 → 8

localize65.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
1.0b
(* (cbrt (+ (- 0.5 z) 7.0)) (cbrt (+ (- 0.5 z) 7.0)))
1.0b
(/ (pow (cbrt (+ (- 0.5 z) 7.0)) (- 0.5 z)) (exp 7.0))
1.0b
(sqrt (* PI 2.0))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
66×times-frac
56×cbrt-prod
47×add-sqr-sqrt
43×distribute-lft-out
39×add-cube-cbrt
32×unpow-prod-down
24×distribute-lft-out--
14×pow1 swap-sqr associate-/l*
12×cbrt-div
9×add-log-exp
8×unpow-prod-up add-exp-log flip3-+ associate-*r* associate-*l* flip-+
6×pow1/3 add-cbrt-cube
4×frac-times sub-neg frac-add unswap-sqr sqr-pow
3×div-exp pow-prod-down associate-/r* sum-log
2×sqrt-pow1 associate-*r/ associate-*l/ pow-sqr pow-prod-up
1×cbrt-undiv +-commutative pow2 pow-to-exp associate-+l+ frac-2neg pow-plus pow1/2 pow-exp prod-exp clear-num sqrt-prod *-commutative cbrt-unprod div-inv associate-/l/ pow-sub
Counts
4 → 171
Calls
4 calls:
45.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
19.0ms
(* (cbrt (+ (- 0.5 z) 7.0)) (cbrt (+ (- 0.5 z) 7.0)))
15.0ms
(/ (pow (cbrt (+ (- 0.5 z) 7.0)) (- 0.5 z)) (exp 7.0))
3.0ms
(sqrt (* PI 2.0))

series36.0ms

Counts
4 → 10
Calls
4 calls:
7.0ms
(+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ -176.6150291621406 (- 4.0 z))) (/ 771.3234287776531 (- 3.0 z)))
7.0ms
(* (cbrt (+ (- 0.5 z) 7.0)) (cbrt (+ (- 0.5 z) 7.0)))
22.0ms
(/ (pow (cbrt (+ (- 0.5 z) 7.0)) (- 0.5 z)) (exp 7.0))
0.0ms
(sqrt (* PI 2.0))

simplify635.0ms

Counts
181 → 181
Iterations

Useful iterations: done (628.0ms)

IterNodesCost
03713980
18383769
226443534
done50013532

prune1.2s

Filtered
109 candidates to 181 candidates (-66.1%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1810181
Fresh066
Picked011
Done011
Total1818189

Merged error: 0.0b

Counts
189 → 8

regimes103.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06191
17691
done7691

end0.0ms

sample49.8s

Algorithm
intervals
Results
40.6s3930×body5120exit
3.1s1509×body1280nan
2.7s8095×body80valid
1.9s1210×body640nan
682.0ms622×body320nan
214.0ms306×body160nan
90.0ms285×body80nan

Profiling

Loading profile data...