Details

Time bar (total: 2.3m)

sample2.7s

Algorithm
intervals
Results
2.1s128×body10240exit
191.0ms48×body1280nan
92.0ms259×body80valid
70.0ms45×body640nan
21.0ms20×body320nan
6.0ms8×body160nan
5.0ms15×body80nan

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
060123
1148123
2611121
3387888
done500188

prune55.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize136.0ms

Local error

Found 4 expressions with local error:

6.6b
(- (- 1.0 z) 1.0)
6.6b
(- (- 1.0 z) 1.0)
6.6b
(- (- 1.0 z) 1.0)
6.6b
(- (- 1.0 z) 1.0)

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
104×add-sqr-sqrt
96×prod-diff
64×add-cube-cbrt
44×associate--l+
28×distribute-lft-out--
24×add-log-exp
20×fma-neg difference-of-squares
12×diff-log
8×sub-neg
4×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 200
Calls
4 calls:
61.0ms
(- (- 1.0 z) 1.0)
70.0ms
(- (- 1.0 z) 1.0)
64.0ms
(- (- 1.0 z) 1.0)
55.0ms
(- (- 1.0 z) 1.0)

series76.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(- (- 1.0 z) 1.0)
19.0ms
(- (- 1.0 z) 1.0)
22.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)

simplify2.9s

Counts
212 → 212
Iterations

Useful iterations: done (2.8s)

IterNodesCost
0842848
11692152
23211656
312401132
done5000904

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.8b

localize120.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.6s

Algorithm
rewrite-expression-head
Rules
202×*-un-lft-identity
185×frac-add
119×distribute-lft-out
109×add-log-exp
85×sum-log
48×times-frac
46×fma-def flip3-+ flip-+
23×add-sqr-sqrt add-cube-cbrt
12×distribute-rgt-neg-in
7×pow1
4×add-exp-log expm1-log1p-u associate-/r/ add-cbrt-cube log1p-expm1-u
3×+-commutative
2×sqrt-pow1 div-inv
1×associate-+l+ associate-+r+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 193
Calls
4 calls:
270.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z))))
192.0ms
(+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z))))
23.1s
(+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z))))))))
7.0ms
(sqrt (* PI 2.0))

series467.0ms

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

simplify1.4s

Counts
203 → 203
Iterations

Useful iterations: done (1.4s)

IterNodesCost
069320423
1269916665
done500016541

prune3.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize299.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
232×*-un-lft-identity
102×times-frac
70×distribute-lft-out
38×add-sqr-sqrt unpow-prod-down cube-prod
30×distribute-lft-out--
26×add-cube-cbrt
9×pow1
8×add-exp-log distribute-rgt-neg-in add-cbrt-cube
6×cube-div pow-unpow difference-of-squares
4×expm1-log1p-u frac-add associate-/r/ log1p-expm1-u add-log-exp
3×pow-exp rem-cube-cbrt
2×cube-mult pow-to-exp flip3-- pow-pow sqrt-pow1 flip3-+ unpow3 flip-- flip-+ div-inv sqr-pow
1×cbrt-undiv pow1/2 div-exp pow-prod-down sqrt-prod fma-udef
Counts
4 → 145
Calls
4 calls:
1.0ms
(fma -1259.1392167224028 (* (fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (* (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (- (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (/ 12.507343278686905 (- 5.0 z))))) (* (- 3.0 z) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z))))) (* (fma (fma (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -176.6150291621406 (- 4.0 z)) (/ -176.6150291621406 (- 4.0 z)))) (- 3.0 z) (* (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z))) 771.3234287776531)) (fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (* (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (- (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (/ 12.507343278686905 (- 5.0 z))))) (* (* (- 3.0 z) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z)))) (+ (pow (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) 3) (pow (/ 12.507343278686905 (- 5.0 z)) 3)))) (+ (- z) 2.0)))
9.0ms
(sqrt (* PI 2.0))
996.0ms
(pow (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) 3)
32.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

series2.2s

Counts
4 → 10
Calls
4 calls:
1.9s
(fma -1259.1392167224028 (* (fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (* (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (- (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (/ 12.507343278686905 (- 5.0 z))))) (* (- 3.0 z) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z))))) (* (fma (fma (- (* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (/ -176.6150291621406 (- 4.0 z)) (/ -176.6150291621406 (- 4.0 z)))) (- 3.0 z) (* (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z))) 771.3234287776531)) (fma (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)) (* (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (- (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) (/ 12.507343278686905 (- 5.0 z))))) (* (* (- 3.0 z) (- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (- 4.0 z)))) (+ (pow (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) 3) (pow (/ 12.507343278686905 (- 5.0 z)) 3)))) (+ (- z) 2.0)))
0.0ms
(sqrt (* PI 2.0))
212.0ms
(pow (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (/ -0.13857109526572012 (- 6.0 z))) 3)
73.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

simplify2.5s

Counts
155 → 155
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03306083
19985788
235674885
done50014861

prune3.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize481.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) (/ 9.984369578019572e-06 (- 7.0 z))) 3)
1.6b
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
1.6b
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
1.6b
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
230×*-un-lft-identity
138×times-frac
100×add-sqr-sqrt
76×unpow-prod-down cube-prod
64×add-cube-cbrt
42×distribute-lft-out--
38×distribute-lft-out
18×difference-of-squares
14×add-exp-log add-cbrt-cube
12×pow-unpow associate-/r/
8×pow1 cube-div
7×pow-exp rem-cube-cbrt
6×flip3-- flip-- div-inv
4×expm1-log1p-u cube-mult pow-to-exp pow-pow unpow3 frac-add log1p-expm1-u add-log-exp sqr-pow
3×cbrt-undiv div-exp
2×flip3-+ flip-+
Counts
4 → 242
Calls
4 calls:
901.0ms
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) (/ 9.984369578019572e-06 (- 7.0 z))) 3)
30.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
30.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
30.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

series443.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) (/ 9.984369578019572e-06 (- 7.0 z))) 3)
51.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
93.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)
95.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

simplify1.6s

Counts
254 → 254
Iterations

Useful iterations: 2 (634.0ms)

IterNodesCost
02384560
17784138
227213702
done50023702

prune6.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes418.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify22.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
072336
192336
done92336

end0.0ms

sample1.3m

Algorithm
intervals
Results
1.1m3822×body10240exit
4.7s1453×body1280nan
3.6s8087×body80valid
2.7s1209×body640nan
744.0ms622×body320nan
183.0ms280×body160nan
87.0ms276×body80nan
1.0ms1×body160valid