Date:Thursday, July 16th, 2020
Commit:2fc654f8 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020198
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample11.0min (37.9%)

Algorithm
957×intervals
Results
2.3min3271627×body80valid
2.2min240317×body1280valid
1.1min16626×body5120exit
53.8s170883×body640valid
33.7s41190×body2560valid
32.4s356539×body80invalid
19.5s100520×body320valid
12.9s93906×body160valid
11.9s158887×body80nan
9.8s22413×body1280invalid
7.9s368368×pre80true
5.9s12691×body1280nan
5.5s19260×body640invalid
3.6s1370×body2560invalid
3.5s772×body5120invalid
3.4s10137×body640nan
3.0s4104×body5120valid
2.2s1450×body1280overflowed
2.1s13249×body80overflowed
2.1s10230×body320invalid
1.2s5352×body320nan
1.1s1073×body640overflowed
715.0ms5363×body160invalid
591.0ms3048×body2560nan
298.0ms2181×body160nan
289.0ms497×body320overflowed
95.0ms288×body160overflowed
91.0ms138×body2560overflowed
6.0ms3×body5120nan
6.0ms231×pre80false

prune4.4min (15.3%)

Filtered
153908 candidates to 99502 candidates (35.3%)

analyze4.1min (14.2%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

series3.6min (12.4%)

Calls

4819 calls:

1.5min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
4.7s
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (/ (+ (pow 0.254829592 3) (pow (* (/ 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))))))) 3)) (+ (* 0.254829592 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)))))) (- (* (/ 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))))))) 0.254829592))))) (pow (exp (fabs x)) (fabs x)))))
2.5s
(+ (* (* x 18.0) (* (* y z) t)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))
2.2s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

regimes2.6min (8.9%)

Accuracy

Total 460.7b remaining (30.1%)

Threshold costs 55.5b (3.6%)

19.6b10.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.6b-12.5%Linear.Matrix:det44 from linear-1.19.1.3
13.5b48.4%math.sqrt on complex, real part
12.6b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.8b57.1%math.log/2 on complex, real part

simplify2.0min (7.0%)

Algorithm
2550×egg-herbie

rewrite46.7s (2.7%)

Algorithm
1597×rewrite-expression-head
Calls

4819 calls:

196.0ms
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))
164.0ms
(* (/ (sqrt (/ 1.0 x)) (sqrt 9.0)) (/ (sqrt (/ 1.0 x)) (sqrt 9.0)))
141.0ms
(/ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
140.0ms
(/ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
116.0ms
(* (* y (* (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- z t)))) (/ (/ (cbrt (- z t)) (cbrt (- t a))) (cbrt (- t a))))
Rules
53932×*-un-lft-identity
49843×add-sqr-sqrt
46558×times-frac
45542×add-exp-log
32964×add-cube-cbrt
27450×prod-exp
17991×add-cbrt-cube
12830×pow1
12422×associate-*r*
12103×pow-exp
11609×sqrt-prod
8691×cbrt-prod
8192×div-exp
8151×associate-*l*
7321×add-log-exp
6676×distribute-lft-out
6267×cbrt-unprod
5674×pow-to-exp
5422×difference-of-squares
4665×distribute-lft-out--
4439×unpow-prod-down
4323×associate-*r/
4291×associate-/r*
4241×flip--
4240×flip3--
3827×associate-/l*
3732×pow-prod-down
3664×frac-times
3520×cbrt-div
3515×associate-*l/
3294×flip-+
3293×flip3-+
3068×associate-/r/
2993×cbrt-undiv
2593×div-inv
2563×unswap-sqr
2287×log-prod
2068×sqrt-div
1958×frac-add
1511×*-commutative
1315×cube-prod
1310×swap-sqr
1300×pow1/3
1236×sqr-pow
1230×distribute-rgt-in distribute-lft-in
1093×sub-neg
910×log-pow
891×associate-/l/
876×clear-num frac-2neg
873×sum-log
863×sqrt-pow1
837×pow-unpow
634×exp-prod
602×associate-+r+
594×pow1/2
546×diff-log
496×+-commutative
414×1-exp
407×rec-exp
366×pow-pow
347×pow-prod-up
331×rem-sqrt-square
303×associate-+l+
300×frac-sub
291×associate--l+
284×pow-sqr
224×log-div
211×div-sub
180×distribute-rgt-neg-in
164×tan-quot
150×pow-flip
147×exp-diff
146×exp-sum
144×pow-plus
137×rem-log-exp
135×pow2 distribute-lft-neg-in
134×neg-sub0
122×exp-neg cube-mult
119×unpow3
115×associate-+r-
113×unpow2
99×inv-pow
98×associate--r+
91×distribute-rgt-neg-out
88×cube-div
81×un-div-inv
58×rem-cube-cbrt
52×sin-mult
41×distribute-rgt-out--
39×associate-+l-
36×neg-mul-1 distribute-frac-neg
35×cos-mult rem-exp-log
33×associate--l- tanh-def-b tanh-def-a tanh-def-c
32×unpow-prod-up sub-div
30×sum-cubes
28×difference-of-sqr--1
27×sqrt-unprod
26×distribute-rgt-out unsub-neg
22×cos-diff sinh-def rem-cbrt-cube
21×cosh-def sin-diff
19×cos-sum rem-square-sqrt neg-log
18×associate--r-
17×sinh-undef sin-sum pow-sub
16×sqrt-pow2
15×cosh-undef
14×acos-asin
13×sqrt-undiv
11×sin-cos-mult
9×pow-neg
8×distribute-rgt1-in asin-acos
7×difference-cubes diff-cos
6×distribute-neg-in distribute-neg-frac
5×distribute-lft1-in count-2
4×distribute-lft-neg-out tan-sum unpow1/3
3×acos-neg exp-to-pow
1×tanh-undef diff-sin diff-atan pow3 mul0-rgt remove-double-div

localize19.8s (1.1%)

bsearch7.7s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...