Date:Friday, July 10th, 2020
Commit:40c95423 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020192
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

sample12.8min (36.3%)

Algorithm
954×intervals
Results
2.5min28983×body5120exit
2.3min3270595×body80valid
2.1min236339×body1280valid
53.2s168271×body640valid
32.4s354310×body80invalid
32.4s40290×body2560valid
19.2s8123×body1280overflowed
18.5s96085×body320valid
12.7s66784×body80overflowed
12.4s89348×body160valid
12.4s156875×body80nan
9.8s457987×pre80true
9.2s7108×body640overflowed
9.0s20915×body1280invalid
6.1s12616×body1280nan
5.3s18568×body640invalid
3.5s10249×body640nan
2.7s3580×body320overflowed
2.4s3995×body5120valid
1.9s9552×body320invalid
1.2s5230×body320nan
744.0ms1764×body160overflowed
659.0ms5059×body160invalid
583.0ms3081×body2560nan
292.0ms2122×body160nan
245.0ms152×body2560invalid
100.0ms28×body5120invalid
84.0ms141×body2560overflowed
6.0ms244×pre80false
2.0ms1×body5120nan

prune9.3min (26.1%)

Filtered
193331 candidates to 109757 candidates (43.2%)

analyze4.1min (11.6%)

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

series2.8min (7.9%)

Calls

4832 calls:

16.3s
(cbrt (/ (- (pow (exp (+ a b)) eps) 1.0) (* eps (* (+ a (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))) (- (pow (exp b) eps) 1.0)))))
16.2s
(cbrt (/ (- (pow (exp (+ a b)) eps) 1.0) (* eps (* (+ a (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))) (- (pow (exp b) eps) 1.0)))))
15.3s
(cbrt (/ (- (pow (exp (+ a b)) eps) 1.0) (* (* eps (+ a (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))) (- (pow (exp b) eps) 1.0))))
2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.9s
(sqrt (* 2.0 (* n (* (* (cbrt (* U (+ t (- (* n (* (pow (* (/ (cbrt l) (cbrt Om)) (/ (cbrt l) (cbrt Om))) 2.0) (* (- U* U) (pow (/ (cbrt l) (cbrt Om)) 2.0)))) (* 2.0 (* l (/ l Om))))))) (cbrt (* U (+ t (- (* n (* (pow (* (/ (cbrt l) (cbrt Om)) (/ (cbrt l) (cbrt Om))) 2.0) (* (- U* U) (pow (/ (cbrt l) (cbrt Om)) 2.0)))) (* 2.0 (* l (/ l Om)))))))) (cbrt (* U (+ t (- (* n (* (pow (* (/ (cbrt l) (cbrt Om)) (/ (cbrt l) (cbrt Om))) 2.0) (* (- U* U) (pow (/ (cbrt l) (cbrt Om)) 2.0)))) (* 2.0 (* l (/ l Om)))))))))))

regimes2.6min (7.3%)

Accuracy

Total 458.4b remaining (31.3%)

Threshold costs 58.2b (4%)

18.3b33.9%math.sqrt on complex, real part
18.1b9.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.5b-1.8%Linear.Matrix:det44 from linear-1.19.1.3
15.4b23.3%Equirectangular approximation to distance on a great circle
12.3b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3

simplify2.3min (6.6%)

Algorithm
2554×egg-herbie

rewrite59.5s (2.8%)

Algorithm
1604×rewrite-expression-head
Calls

4832 calls:

912.0ms
(+ 1.0 (/ (/ (/ x (sqrt (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (sqrt (sqrt (+ (* 4.0 (* p p)) (* x x)))))) (sqrt (sqrt (+ (* (* 4.0 p) p) (* x x))))))
713.0ms
(* l (* 2.0 (* (* (* (/ (cos k) (pow (sin k) 2)) l) (pow (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) 1.0)) (pow (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0))) 1.0))))
659.0ms
(* l (* 2.0 (* (* (/ (cos k) (pow (sin k) 2)) l) (pow (* (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0)))) 1.0))))
269.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
238.0ms
(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))
Rules
263720×add-exp-log
178918×prod-exp
164042×pow-exp
103346×div-exp
61072×*-un-lft-identity
56266×add-sqr-sqrt
55396×times-frac
52079×pow-to-exp
36077×add-cube-cbrt
17776×add-cbrt-cube
14660×1-exp
13333×sqrt-prod
13201×pow1
13043×associate-*r*
12400×associate-*r/
9905×cbrt-prod
8913×associate-*l*
8133×cbrt-div
7481×distribute-lft-out
7458×frac-times
7214×add-log-exp
6587×difference-of-squares
6140×cbrt-unprod
6048×distribute-lft-out--
4761×flip--
4760×flip3--
4430×frac-sub
4299×unpow-prod-down
4211×associate-/r*
4104×flip-+
4103×flip3-+
3876×pow-prod-down
3874×associate-*l/
3773×associate-/l*
3756×frac-add
3435×associate-/r/
3025×cbrt-undiv
2927×unswap-sqr
2731×div-inv
2641×tanh-def-b tanh-def-a tanh-def-c
2533×sqrt-div
2261×log-prod
1754×swap-sqr
1536×*-commutative
1463×distribute-rgt-in distribute-lft-in
1445×pow1/3
1414×sqr-pow
1134×sqrt-pow1
1089×sub-neg
1037×associate-/l/
982×cube-prod
910×log-pow
826×clear-num frac-2neg
818×pow-unpow
775×sum-log
735×exp-prod
724×rec-exp
710×pow1/2
541×diff-log
491×associate-+r+
476×+-commutative
450×exp-diff
448×pow-prod-up
421×associate-+l+
409×log-div
405×pow-sub
401×pow-pow
372×rem-sqrt-square
364×pow-sqr
274×associate--l+
216×div-sub
204×unpow2
194×exp-sum
167×pow-plus
160×pow2
159×cube-div
157×distribute-rgt-neg-in
152×tan-quot
143×cube-mult
142×unpow3
128×rem-log-exp
118×pow-flip
107×neg-sub0
106×associate--r+
101×distribute-lft-neg-in
99×un-div-inv
95×cos-mult
92×inv-pow
89×exp-neg
80×rem-cube-cbrt
76×associate-+r-
66×cosh-undef
59×distribute-rgt-neg-out
43×associate--l-
42×sqrt-unprod
40×rem-cbrt-cube rem-exp-log
38×sin-mult
36×sinh-def distribute-rgt-out
35×neg-mul-1
33×cos-diff associate-+l-
32×distribute-frac-neg
29×rem-square-sqrt
26×distribute-rgt-out--
24×difference-of-sqr--1 sum-cubes
22×unpow-prod-up neg-log
21×cosh-def sub-div
20×unsub-neg
18×sin-diff
17×acos-asin cos-sum sinh-undef associate--r-
16×sin-sum
14×sqrt-undiv
13×pow-neg
12×difference-cubes distribute-rgt1-in
11×sin-cos-mult
9×sqrt-pow2
8×distribute-lft1-in
7×acos-neg count-2
6×unpow1/3 asin-acos distribute-neg-frac
5×diff-cos
4×tan-sum
3×e-exp-1
2×exp-to-pow
1×tanh-undef diff-sin diff-atan sqr-cos-a mul0-rgt

localize20.3s (1.0%)

bsearch7.7s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...