Details

Time bar (total: 4.4m)

sample2.7s

Algorithm
intervals
Results
1.9s116×body10240exit
515.0ms31×body1280nan
154.0ms256×body80valid
47.0ms39×body640nan
10.0ms10×body320nan
8.0ms13×body160nan
3.0ms9×body80nan

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (817.0ms)

IterNodesCost
060123
1148123
2611121
3387888
done500188

prune64.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize114.0ms

Local error

Found 4 expressions with local error:

7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)
7.2b
(- (- 1.0 z) 1.0)

rewrite316.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:
78.0ms
(- (- 1.0 z) 1.0)
79.0ms
(- (- 1.0 z) 1.0)
65.0ms
(- (- 1.0 z) 1.0)
78.0ms
(- (- 1.0 z) 1.0)

series82.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(- (- 1.0 z) 1.0)
25.0ms
(- (- 1.0 z) 1.0)
19.0ms
(- (- 1.0 z) 1.0)
20.0ms
(- (- 1.0 z) 1.0)

simplify3.3s

Counts
212 → 212
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0842848
11692152
23211656
312401132
done5000904

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.8b

localize109.0ms

Local error

Found 4 expressions with local error:

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)))))))) (exp (+ 0.5 (+ (- z) 7.0))))
1.0b
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.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))

rewrite1.8m

Algorithm
rewrite-expression-head
Rules
654×*-un-lft-identity
501×distribute-lft-out
370×frac-add
111×add-log-exp
95×times-frac
87×sum-log
86×flip3-+ flip-+
46×associate-/l/
40×add-sqr-sqrt add-cube-cbrt
26×fma-def
21×exp-sum
20×associate-/l*
7×pow1
6×add-cbrt-cube
5×add-exp-log
4×expm1-log1p-u associate-/r* log1p-expm1-u
3×distribute-rgt-neg-in associate-/r/
2×+-commutative sqrt-pow1 div-inv
1×cbrt-undiv neg-sub0 associate-+l- associate-+r- associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff div-exp pow-prod-down clear-num sqrt-prod
Counts
4 → 318
Calls
4 calls:
1.4m
(/ (+ (/ -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)))))))) (exp (+ 0.5 (+ (- z) 7.0))))
1.3s
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
23.9s
(+ (/ -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))))))))
8.0ms
(sqrt (* PI 2.0))

series806.0ms

Counts
4 → 10
Calls
4 calls:
343.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)))))))) (exp (+ 0.5 (+ (- z) 7.0))))
129.0ms
(+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z))))
334.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.7s

Counts
328 → 328
Iterations

Useful iterations: done (1.7s)

IterNodesCost
079334040
1295028685
done500128328

prune4.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
354×*-un-lft-identity frac-add
248×distribute-lft-out
114×add-log-exp
87×sum-log
79×flip3-+ flip-+
44×associate--l- log-div
39×fma-def
34×add-sqr-sqrt
26×add-cube-cbrt
24×prod-diff
19×log-prod associate--l+
18×pow1
15×times-frac
11×log-pow distribute-lft-out--
6×distribute-rgt-neg-in
4×add-exp-log expm1-log1p-u fma-neg diff-log add-cbrt-cube log1p-expm1-u difference-of-squares
2×+-commutative flip3-- sqrt-pow1 associate-/r/ flip--
1×neg-sub0 associate-+l- associate-+r- sub-neg associate-+l+ associate-+r+ pow1/2 pow-prod-down neg-log sqrt-prod div-inv associate--r+ associate--r-
Counts
4 → 281
Calls
4 calls:
302.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
45.4s
(+ (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))) (/ -1259.1392167224028 (+ (- z) 2.0)))
5.0ms
(sqrt (* PI 2.0))
27.5s
(- (log (+ (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))) (/ -1259.1392167224028 (+ (- z) 2.0)))) (+ 0.5 (+ (- z) 7.0)))

series485.0ms

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

simplify1.0s

Counts
291 → 291
Iterations

Useful iterations: done (1.0s)

IterNodesCost
083827893
1330325279
done500124651

prune3.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize172.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
1.0b
(pow (/ 771.3234287776531 (- 3.0 z)) 3)
1.0b
(sqrt (* PI 2.0))
1.5b
(pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
69×add-sqr-sqrt
60×times-frac
47×unpow-prod-down cube-prod
45×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
11×add-exp-log add-cbrt-cube
10×pow1
9×pow-unpow
8×associate-/r/
6×cube-div distribute-lft-out
5×pow-exp rem-cube-cbrt
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u div-inv add-log-exp
3×cube-mult pow-to-exp pow-pow unpow3 sqr-pow
2×cbrt-undiv sqrt-pow1 flip3-+ div-exp frac-add flip-+
1×pow1/2 pow-prod-down sqrt-prod
Counts
4 → 174
Calls
4 calls:
13.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
13.0ms
(pow (/ 771.3234287776531 (- 3.0 z)) 3)
4.0ms
(sqrt (* PI 2.0))
169.0ms
(pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)

series179.0ms

Counts
4 → 10
Calls
4 calls:
47.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
53.0ms
(pow (/ 771.3234287776531 (- 3.0 z)) 3)
0.0ms
(sqrt (* PI 2.0))
78.0ms
(pow (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)

simplify1.6s

Counts
184 → 184
Iterations

Useful iterations: 2 (702.0ms)

IterNodesCost
04043400
112833126
245742770
done50002770

prune2.2s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes374.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05984
17684
done7684

end0.0ms

sample51.7s

Algorithm
intervals
Results
42.7s3870×body10240exit
2.8s1474×body1280nan
2.6s8080×body80valid
1.9s1269×body640nan
955.0ms611×body320nan
246.0ms330×body160nan
66.0ms329×body80nan