Date:Monday, June 22nd, 2020
Commit:76059ace on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020174
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 (25.2%)

Algorithm
951×intervals
Results
2.3min3251709×body80valid
2.2min236475×body1280valid
1.1min15153×body5120exit
52.5s168025×body640valid
34.5s41813×body2560valid
32.1s355453×body80invalid
19.6s98685×body320valid
12.2s159919×body80nan
9.8s81524×body160valid
9.7s22065×body1280invalid
7.6s360704×pre80true
5.7s19372×body640invalid
5.6s11863×body1280nan
3.8s817×body5120invalid
3.3s1393×body2560invalid
3.2s9159×body640nan
2.6s4050×body5120valid
2.3s1450×body1280overflowed
2.1s13443×body80overflowed
2.1s10326×body320invalid
1.1s4797×body320nan
1.0s1089×body640overflowed
735.0ms5401×body160invalid
558.0ms3018×body2560nan
297.0ms523×body320overflowed
248.0ms1831×body160nan
102.0ms154×body2560overflowed
97.0ms302×body160overflowed
6.0ms218×pre80false

prune10.8min (25.1%)

Filtered
182154 candidates to 112882 candidates (38.0%)

analyze7.6min (17.6%)

Algorithm
948×search
3×random

series4.2min (9.9%)

Calls

4822 calls:

2.1min
(- (pow (pow 1.0 3) 3) (pow (* (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 (neg (* (fabs x) (fabs x))))) 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 (neg (* (fabs x) (fabs x))))) 3))) 3))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(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*))))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

bsearch2.8min (6.6%)

simplify2.8min (6.4%)

Algorithm
2556×egg-herbie

regimes2.7min (6.4%)

Accuracy

Total 424.1b remaining (29.5%)

Threshold costs 56.1b (3.9%)

17.5b26.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b-22.6%Linear.Matrix:det44 from linear-1.19.1.3
12.6b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.4b35.7%math.sqrt on complex, imaginary part, im greater than 0 branch
10.8b56.1%math.log/2 on complex, real part

rewrite52.5s (2.0%)

Algorithm
1609×rewrite-expression-head
Calls

4822 calls:

314.0ms
(* (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))
310.0ms
(* (* (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))) x)
306.0ms
(/ (* 1 (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
304.0ms
(/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
246.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)))
Rules
88757×times-frac
78355×*-un-lft-identity
72592×add-sqr-sqrt
64803×add-exp-log
48660×add-cube-cbrt
38576×prod-exp
19407×add-cbrt-cube
16519×sqrt-prod
15742×div-exp
15560×frac-times
13235×pow-exp
12912×pow1
12439×associate-*r*
12055×associate-*r/
10950×flip--
10949×flip3--
10841×associate-*l/
10668×cbrt-prod
9192×difference-of-squares
8120×cbrt-div
8084×associate-*l*
8021×distribute-lft-out
7774×add-log-exp
7657×flip-+
7656×flip3-+
7364×distribute-lft-out--
6519×pow-to-exp
6346×cbrt-unprod
6043×associate-/l*
6015×unpow-prod-down
5495×associate-/r*
4321×associate-/r/
3939×cbrt-undiv
3911×div-inv
3615×frac-add
3434×pow-prod-down
3134×frac-sub
2793×unswap-sqr
2683×sqrt-div
2460×log-prod
2218×cube-prod
2191×sqr-pow
1668×distribute-rgt-in distribute-lft-in
1583×1-exp
1407×*-commutative
1374×swap-sqr
1269×sub-neg
1237×associate-/l/
1160×pow1/3
1070×rec-exp
1034×log-pow
983×clear-num frac-2neg
964×distribute-rgt-neg-in
942×sqrt-pow1
888×sum-log
875×exp-prod
756×diff-log
754×pow-unpow
720×unpow2
598×pow1/2
546×pow-prod-up
492×associate--l+
484×+-commutative
466×distribute-lft-neg-in
463×associate-+l+
420×associate-+r+
412×pow-sqr
307×rem-sqrt-square
284×cube-div
267×div-sub
262×pow-pow
257×pow-plus
247×neg-sub0
245×distribute-neg-frac
240×log-div
236×cube-mult unpow3
233×tan-quot
221×exp-sum
220×exp-diff
204×tanh-def
203×pow2
190×exp-neg
150×rem-log-exp
144×pow-flip
139×associate--r+
136×cos-mult
135×rem-cube-cbrt
121×inv-pow
115×neg-mul-1
108×un-div-inv
88×associate-+l-
80×distribute-rgt-out sin-mult
77×associate--l-
70×distribute-rgt-out--
56×neg-log
54×rem-exp-log
53×distribute-rgt-neg-out
50×associate-+r-
45×sub-div
44×rem-cbrt-cube
42×difference-cubes
41×sum-cubes
39×sqrt-unprod
35×associate--r-
34×unsub-neg
30×cos-sum
25×sinh-def distribute-frac-neg
22×cos-diff
21×cosh-def rem-square-sqrt
20×distribute-lft-neg-out unpow-prod-up
19×exp-to-pow unpow1/3
18×sin-diff
17×distribute-rgt1-in
16×distribute-lft1-in pow-sub
15×pow-neg
13×sin-cos-mult sin-sum log-rec asin-acos
12×pow-div
10×count-2
8×acos-asin pow3
6×distribute-neg-in diff-cos
5×mul-1-neg sqrt-pow2
4×tan-sum
3×acos-neg distribute-neg-out
2×sqrt-undiv +-inverses difference-of-sqr-1
1×cube-neg tanh-undef sqr-cos diff-sin mul0 diff-atan cos-2 cube-unmult

localize20.1s (0.8%)

end20.0ms (0.0%)

Profiling

Loading profile data...