Date:Tuesday, June 23rd, 2020
Commit:ce6c70f5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020175
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

sample10.9min (24.6%)

Algorithm
952×intervals
Results
2.3min3257090×body80valid
2.2min237911×body1280valid
1.1min15004×body5120exit
53.8s168811×body640valid
34.1s42090×body2560valid
31.6s356333×body80invalid
19.5s99094×body320valid
12.1s157911×body80nan
10.0s22464×body1280invalid
9.9s81191×body160valid
7.7s359269×pre80true
5.7s19534×body640invalid
5.6s11730×body1280nan
3.9s781×body5120invalid
3.4s1421×body2560invalid
3.3s9231×body640nan
2.8s4037×body5120valid
2.1s10114×body320invalid
2.1s12792×body80overflowed
1.9s1283×body1280overflowed
1.1s4724×body320nan
893.0ms905×body640overflowed
750.0ms3180×body2560nan
737.0ms5463×body160invalid
283.0ms476×body320overflowed
265.0ms1881×body160nan
121.0ms182×body2560overflowed
73.0ms201×body160overflowed
6.0ms3×body5120nan
6.0ms223×pre80false

prune9.0min (20.4%)

Filtered
172784 candidates to 110488 candidates (36.1%)

analyze7.7min (17.4%)

Algorithm
949×search
3×random

series4.3min (9.8%)

Calls

4812 calls:

6.9s
(- (pow 1.0 3) (/ (pow (* 1.0 (- (* 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)))))))))) 3) (pow (* (* (+ 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 (* (fabs x) (fabs x)))) 3)))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (cbrt (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))) (cbrt (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (cbrt (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

rewrite3.3min (7.5%)

Algorithm
1604×rewrite-expression-head
Calls

4820 calls:

45.3s
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
255.0ms
(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
189.0ms
(cbrt (* (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (* (cbrt (+ (* 2 (+ x y)) (+ x z))) (cbrt (+ (* 2 (+ x y)) (+ x z)))))) (cbrt (cbrt (+ (* 2 (+ x y)) (+ x z))))))
179.0ms
(* (/ y (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))) (/ (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (sqrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))))
179.0ms
(- (pow (pow 1.0 3) 3) (pow (/ (pow (* 1.0 (- (* 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)))))))))) 3) (pow (* (* (+ 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 (* (fabs x) (fabs x)))) 3)) 3))
Rules
71034×times-frac
65952×*-un-lft-identity
61532×add-sqr-sqrt
56962×add-exp-log
42123×add-cube-cbrt
31496×prod-exp
21881×cbrt-div
18180×add-cbrt-cube
17661×frac-times
14318×div-exp
13868×associate-*r/
13246×flip-+
13245×flip3-+
13228×associate-*r*
12287×pow1
11939×sqrt-prod
11001×pow-exp
10884×associate-*l/
8435×flip--
8434×flip3--
8373×cbrt-prod
7861×associate-*l*
7770×add-log-exp
7081×frac-add
6750×distribute-lft-out
6179×difference-of-squares
5947×unpow-prod-down
5903×associate-/r*
5763×cbrt-unprod
5714×distribute-lft-out--
4712×associate-/l*
4368×pow-to-exp
3724×associate-/r/
3599×cbrt-undiv
3479×div-inv
3236×pow-prod-down
3168×frac-sub
2985×sqrt-div
2856×unswap-sqr
2578×log-prod
1867×1-exp
1853×rec-exp
1769×distribute-rgt-in distribute-lft-in
1626×sqr-pow
1561×cube-prod
1427×*-commutative
1298×swap-sqr
1291×pow1/3
1212×sub-neg
1090×associate-/l/
1055×sqrt-pow1
951×clear-num frac-2neg
940×sum-log
832×exp-prod
821×log-pow
706×diff-log
674×pow1/2
655×distribute-rgt-neg-in
640×exp-sum
637×pow-unpow
501×+-commutative
471×associate-+l+
466×unpow2
465×pow-prod-up
456×associate-+r+
365×pow-sqr
353×associate--l+
351×rem-sqrt-square
265×exp-diff
253×div-sub
243×distribute-lft-neg-in
240×pow-pow
200×tan-quot
197×log-div
190×distribute-lft-neg-out
183×pow-plus
182×log-rec
172×neg-sub0
170×unpow3
166×pow2
162×cube-mult
151×pow-flip
149×cube-div
147×rem-log-exp
141×associate--r+
116×exp-neg
110×associate-+r-
108×un-div-inv
107×inv-pow
90×distribute-rgt-out--
83×unsub-neg
74×rem-cube-cbrt
73×associate--l- distribute-rgt-out
70×associate-+l-
63×neg-mul-1
62×sin-mult
59×distribute-neg-out
58×neg-log
52×sub-div
48×rem-exp-log
41×cos-mult sum-cubes
32×sinh-def sqrt-unprod rem-cbrt-cube tanh-def
31×difference-cubes distribute-rgt-neg-out
29×cos-sum
26×rem-square-sqrt
25×cosh-def
24×cos-diff
17×sin-diff
16×distribute-lft1-in distribute-neg-frac
15×distribute-frac-neg
14×acos-asin sin-cos-mult associate--r-
12×count-2 distribute-rgt1-in
11×sin-sum
10×exp-to-pow
8×pow-sub
6×distribute-neg-in
5×diff-cos unpow1/3 pow-neg
4×acos-neg unpow-prod-up tan-sum sqrt-pow2 difference-of-sqr-1
3×sqrt-undiv asin-acos
2×quot-tan
1×tanh-undef e-exp-1 mul-1-neg diff-sin mul0 diff-atan pow3 remove-double-div

bsearch3.2min (7.2%)

regimes2.8min (6.3%)

Accuracy

Total 460.1b remaining (31.4%)

Threshold costs 53.0b (3.6%)

13.8b56.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.7b25.6%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.1b-17.6%Linear.Matrix:det44 from linear-1.19.1.3
11.7b38.7%math.sqrt on complex, imaginary part, im greater than 0 branch
11.1b53.2%math.abs on complex

simplify2.7min (6.1%)

Algorithm
2550×egg-herbie

localize20.2s (0.8%)

end20.0ms (0.0%)

Profiling

Loading profile data...