Date:Monday, June 22nd, 2020
Commit:b6782673 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.7min (25.2%)

Algorithm
951×intervals
Results
2.3min3251709×body80valid
2.1min236475×body1280valid
1.1min15153×body5120exit
53.0s168025×body640valid
34.0s41813×body2560valid
31.1s355453×body80invalid
18.9s98685×body320valid
12.2s159919×body80nan
9.8s22065×body1280invalid
9.7s81524×body160valid
7.7s360704×pre80true
5.9s19372×body640invalid
5.6s11863×body1280nan
3.8s817×body5120invalid
3.2s1393×body2560invalid
3.2s9159×body640nan
2.6s4050×body5120valid
2.3s1450×body1280overflowed
2.1s13443×body80overflowed
2.1s10326×body320invalid
1.1s4797×body320nan
1.0s1089×body640overflowed
728.0ms5401×body160invalid
579.0ms3018×body2560nan
300.0ms523×body320overflowed
248.0ms1831×body160nan
101.0ms302×body160overflowed
99.0ms154×body2560overflowed
6.0ms218×pre80false

prune10.5min (24.6%)

Filtered
181998 candidates to 112934 candidates (37.9%)

analyze7.6min (17.8%)

Algorithm
948×search
3×random

series4.3min (10.0%)

Calls

4817 calls:

2.2min
(- (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))
2.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(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)))))

bsearch2.8min (6.6%)

simplify2.8min (6.5%)

Algorithm
2556×egg-herbie

regimes2.7min (6.3%)

Accuracy

Total 424.1b remaining (29.5%)

Threshold costs 56.0b (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.1s (2.0%)

Algorithm
1609×rewrite-expression-head
Calls

4817 calls:

300.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))))))))
296.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)
288.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)))))))
285.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)))))))
237.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
78327×*-un-lft-identity
72573×add-sqr-sqrt
64733×add-exp-log
48632×add-cube-cbrt
38543×prod-exp
19332×add-cbrt-cube
16451×sqrt-prod
15731×div-exp
15566×frac-times
13234×pow-exp
12902×pow1
12425×associate-*r*
12063×associate-*r/
10950×flip--
10949×flip3--
10838×associate-*l/
10678×cbrt-prod
9192×difference-of-squares
8120×cbrt-div
8021×distribute-lft-out
8018×associate-*l*
7769×add-log-exp
7667×flip-+
7666×flip3-+
7364×distribute-lft-out--
6518×pow-to-exp
6311×cbrt-unprod
6037×associate-/l*
5994×unpow-prod-down
5497×associate-/r*
4323×associate-/r/
3928×cbrt-undiv
3912×div-inv
3615×frac-add
3423×pow-prod-down
3134×frac-sub
2787×unswap-sqr
2691×sqrt-div
2460×log-prod
2218×cube-prod
2190×sqr-pow
1671×distribute-rgt-in distribute-lft-in
1583×1-exp
1403×*-commutative
1380×swap-sqr
1269×sub-neg
1239×associate-/l/
1177×pow1/3
1070×rec-exp
1034×log-pow
981×clear-num frac-2neg
964×distribute-rgt-neg-in
943×sqrt-pow1
888×sum-log
875×exp-prod
756×diff-log
754×pow-unpow
719×unpow2
599×pow1/2
552×pow-prod-up
492×associate--l+
484×+-commutative
466×distribute-lft-neg-in
463×associate-+l+
420×associate-+r+
418×pow-sqr
308×rem-sqrt-square
284×cube-div
277×pow-pow
267×div-sub
260×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
206×pow2
204×tanh-def
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.3s (0.8%)

end21.0ms (0.0%)

Profiling

Loading profile data...