Date:Sunday, March 15th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020075
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series14.5m (58.9%)

Calls

2376 calls:

4.0s
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.7s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.6s
(fma (- (* c t) (* i y)) j (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.6s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune4.1m (16.7%)

Filtered
95933 candidates to 60542 candidates (63.1%)

sample3.4m (14.0%)

Algorithm
537×intervals
Results
1.2m2582162×body80valid
21.2s510987×body80nan
17.5s47084×body1280valid
9.5s42688×body640valid
3.9s5526×body2560valid
3.8s25537×body320valid
1.3s13635×body160valid
761.0ms1531×body10240exit
135.0ms51×body5120valid
97.0ms495×body1280nan
96.0ms644×body640nan
45.0ms399×body320nan
15.0ms221×body160nan

simplify1.3m (5.4%)

Algorithm
1400×egg-herbie

regimes38.1s (2.6%)

Accuracy

Total 172.2b remaining (37%)

Threshold costs 18.3b (3.9%)

16.4b18.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.8b60.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.9b3.4%Linear.Matrix:det33 from linear-1.19.1.3
7.4b8.5%Numeric.Signal:interpolate from hsignal-0.2.7.1
6.8b13.9%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite21.9s (1.5%)

Algorithm
865×rewrite-expression-head
Calls

2379 calls:

383.0ms
(- (- 1.0 (/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))) (/ (/ y 3.0) (sqrt x)))
248.0ms
(/ x (/ (- t z) (- y z)))
132.0ms
(* (/ 1 (/ z (sqrt 2.0))) (/ x (/ (- y t) (sqrt 2.0))))
98.0ms
(+ (/ (/ z t) (/ 1 (- y x))) x)
82.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
Rules
54298×times-frac
50114×add-sqr-sqrt
49161×*-un-lft-identity
35174×add-cube-cbrt
15594×prod-diff
11024×add-exp-log
7644×add-cbrt-cube
7548×sqrt-prod
5929×pow1
5400×associate-*r*
5016×cbrt-prod
4860×difference-of-squares
4159×distribute-lft-out--
3322×associate-*l*
3237×add-log-exp
3203×prod-exp
3119×distribute-lft-out
3038×div-inv
2942×associate-/r*
2938×div-exp
2677×distribute-rgt-in distribute-lft-in
2515×associate-/r/
2385×expm1-log1p-u
2380×log1p-expm1-u
2288×associate-/l*
2016×cbrt-unprod
1898×unpow-prod-down
1844×associate--l+
1600×cbrt-undiv
1561×flip3-- flip--
1486×pow-prod-down
1224×unswap-sqr
1076×flip-+ flip3-+
1015×fma-def
993×associate-*r/
945×cbrt-div
820×log-prod
810×fma-neg
801×pow1/3
755×frac-times
688×swap-sqr
684×sqrt-pow1
656×associate-*l/
598×*-commutative
585×cube-prod
525×associate-+r+
510×clear-num frac-2neg
475×associate--r+
471×sqrt-div
455×sub-neg
450×1-exp
445×associate-+l+
436×sqr-pow
412×exp-sum
368×pow-exp
366×rec-exp
359×associate-/l/
351×pow-prod-up
350×fma-udef
329×pow1/2
312×log-pow
264×sum-log
233×pow-sqr
203×diff-log
167×+-commutative
165×pow-to-exp
164×distribute-rgt-neg-in
162×distribute-lft-neg-in
159×frac-sub
144×exp-prod
129×unpow2
126×pow-unpow
107×pow-plus
99×rem-sqrt-square
98×cube-mult unpow3
96×pow2 div-sub
95×pow-pow
94×pow-flip
74×inv-pow
69×frac-add
55×neg-mul-1
54×un-div-inv
42×distribute-rgt-out--
41×log-div
39×distribute-rgt-neg-out
36×rem-log-exp
35×tanh-def
26×sinh-def
25×rem-cube-cbrt
24×sqrt-unprod
23×cos-sum
20×cube-div rem-exp-log
18×unpow-prod-up
17×hypot-udef rem-square-sqrt distribute-rgt-out hypot-def cosh-def
16×unsub-neg associate-+l-
15×sub-div
13×distribute-lft-neg-out
12×unpow1/3 distribute-neg-frac
10×difference-cubes neg-sub0
9×log1p-udef associate-+r-
8×log1p-expm1 tan-quot
7×associate--r- sum-cubes rem-cbrt-cube
6×expm1-udef sqrt-pow2 associate--l- expm1-log1p
5×exp-diff sin-neg distribute-lft1-in distribute-rgt1-in count-2
4×diff-cos sin-mult
3×cos-diff distribute-frac-neg sin-diff
2×exp-to-pow pow3 neg-log cos-mult
1×exp-neg pow-sub remove-double-div mul-1-neg

localize9.5s (0.6%)

bsearch4.1s (0.3%)

end5.0ms (0.0%)