Date:Saturday, June 27th, 2020
Commit:830c07fe on fix-unfold-let
Hostname:warfa with Racket 7.5
Seed:2020179
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample11.5min (48.9%)

Algorithm
817×intervals
Results
2.5min3545312×body80valid
1.9min213276×body1280valid
1.2min14356×body5120exit
47.3s152021×body640valid
40.7s835130×body80nan
25.8s30904×body2560valid
17.0s90109×body320valid
8.9s72787×body160valid
6.8s7644×body1280nan
6.6s293176×pre80true
4.1s5831×body640nan
3.8s2096×body1280overflowed
3.6s40123×body80overflowed
1.7s1589×body640overflowed
1.4s3061×body320nan
810.0ms1327×body5120valid
572.0ms3050×body2560nan
492.0ms785×body320overflowed
458.0ms1500×body160nan
366.0ms16752×pre80false
141.0ms395×body160overflowed
107.0ms157×body2560overflowed

prune5.6min (23.9%)

Filtered
136777 candidates to 87687 candidates (35.9%)

regimes2.2min (9.2%)

Accuracy

Total 387.5b remaining (37.2%)

Threshold costs 48.1b (4.6%)

19.4b10.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.6b57.7%math.sqrt on complex, imaginary part, im greater than 0 branch
12.4b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b8.8%Linear.Matrix:det44 from linear-1.19.1.3
10.8b56.3%math.log/2 on complex, real part

simplify1.6min (7.0%)

Algorithm
2180×egg-herbie

series1.5min (6.2%)

Calls

4081 calls:

1.7s
(* (+ d1 (sqrt (* d1 (+ d2 (- d4 d3))))) (- (sqrt (* d1 (+ d2 (- d4 d3)))) d1))
835.0ms
(- (pow 1.0 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3))
834.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3))))
652.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3)) (sqrt (* 1.0 (/ (pow (+ (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ 0.254829592 (- (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x)))))))) 3) (pow (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2))) 3))))))
525.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

rewrite44.1s (3.1%)

Algorithm
1365×rewrite-expression-head
Calls

4081 calls:

1.1s
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))))
735.0ms
(* (/ (sqrt (* PI 2.0)) (exp z)) (/ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (+ (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (+ (/ -176.6150291621406 (+ z (- 4.0 1.0))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))) (/ 676.5203681218851 z))))) 0.9999999999998099)) (/ (exp (+ (- 7.0 1.0) 0.5)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))))
668.0ms
(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
666.0ms
(/ (* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
628.0ms
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
Rules
70855×*-un-lft-identity
62682×times-frac
49799×add-sqr-sqrt
35981×add-cube-cbrt
19163×add-exp-log
16824×distribute-lft-out
13709×add-cbrt-cube
11310×pow1
10934×sqrt-prod
10712×associate-*r*
8827×cbrt-prod
8062×cbrt-div
8054×associate-*r/
6957×prod-exp
6443×frac-times
6415×associate-*l*
6155×add-log-exp
4632×unpow-prod-down
4595×cbrt-unprod
4434×associate-/l*
4334×difference-of-squares
4329×frac-sub
4029×distribute-lft-out--
3806×associate-/r*
3747×div-exp
3692×flip--
3691×flip3--
3350×pow-prod-down
3249×flip-+
3248×flip3-+
2853×tanh-def
2811×associate-/r/
2576×associate-*l/
2472×div-inv
2330×sqrt-div
2308×cbrt-undiv
2182×unswap-sqr
2097×log-prod
1707×frac-add
1639×cube-prod
1318×distribute-rgt-in distribute-lft-in
1300×*-commutative
1205×swap-sqr
1186×pow1/3
1144×sqrt-pow1
951×sqr-pow
931×associate-/l/
901×pow-exp
861×sub-neg
739×log-pow
716×clear-num frac-2neg
696×sum-log
680×pow1/2
651×pow-to-exp
535×exp-sum
508×exp-prod
467×associate-+r+
463×diff-log
438×+-commutative
428×1-exp
421×pow-prod-up
404×rec-exp
378×distribute-rgt-neg-in
340×associate-+l+
332×pow-unpow
328×associate--l+
325×pow-sqr
278×rem-sqrt-square
257×distribute-lft-neg-in
220×div-sub
200×pow-pow
189×log-div
185×cube-mult
159×cube-div unpow3
145×pow-plus
143×tan-quot
139×pow2
119×rem-log-exp
116×unpow-prod-up
111×associate-+r- unpow2
103×pow-flip
97×cos-mult
86×un-div-inv
83×inv-pow distribute-rgt-neg-out
79×associate--r+
74×rem-cube-cbrt
64×neg-mul-1 exp-diff
59×associate-+l-
53×neg-sub0 sqrt-unprod pow-sub
45×sin-mult
44×distribute-frac-neg
40×difference-of-sqr--1
39×distribute-rgt-out--
35×rem-exp-log
33×distribute-rgt-out
31×rem-square-sqrt sum-cubes
29×sin-sum
28×rem-cbrt-cube
27×cos-sum
26×associate--l-
22×exp-neg sub-div
19×cos-diff sin-diff
17×sinh-def unsub-neg
16×difference-cubes
14×neg-log sub0-neg
13×acos-asin cosh-def
12×pow-neg
11×associate--r-
9×unpow1/3
8×distribute-rgt1-in
6×distribute-neg-in distribute-lft1-in count-2 asin-acos distribute-neg-frac
5×distribute-lft-neg-out acos-neg e-exp-1 diff-cos sqrt-pow2 sin-cos-mult
4×tan-sum sqrt-undiv
3×pow3
2×sqr-cos mul-1-neg exp-to-pow
1×tanh-undef diff-sin diff-atan

localize16.1s (1.1%)

bsearch6.6s (0.5%)

end6.0ms (0.0%)

Profiling

Loading profile data...