Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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.2m (56.8%)

Calls

2258 calls:

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

prune4.8m (19.1%)

Filtered
99737 candidates to 63009 candidates (63.2%)

sample3.5m (13.8%)

Algorithm
538×intervals
Results
1.2m2571730×body80valid
21.7s517975×body80nan
17.0s46070×body1280valid
9.9s42767×body640valid
3.9s5713×body2560valid
3.6s24369×body320valid
1.3s13467×body160valid
748.0ms1538×body10240exit
112.0ms44×body5120valid
98.0ms661×body640nan
87.0ms459×body1280nan
49.0ms437×body320nan
15.0ms220×body160nan

simplify1.3m (5.2%)

Algorithm
1384×egg-herbie

regimes40.9s (2.7%)

Accuracy

Total 202.7b remaining (39.7%)

Threshold costs 28.5b (5.6%)

18.3b10.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b58.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.9b12.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.9b21.5%Numeric.Signal:interpolate from hsignal-0.2.7.1
8.8b26.5%Development.Shake.Progress:decay from shake-0.15.5

rewrite22.9s (1.5%)

Algorithm
847×rewrite-expression-head
Calls

2260 calls:

925.0ms
(+ (* 1 (- (/ t (/ (- a t) y)) (/ z (/ (- a t) y)))) (fma (fma (- z) 1 z) (/ y (- a t)) (+ x y)))
506.0ms
(* (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))))
175.0ms
(* (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt 9.0) (cbrt 9.0))) (/ (/ (sqrt 1.0) (sqrt x)) (cbrt 9.0)))
118.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))
114.0ms
(* (/ 1.0 (sqrt (+ 1.0 (* z z)))) (/ (/ (/ 1 y) x) (sqrt (+ 1.0 (* z z)))))
Rules
84075×times-frac
65396×*-un-lft-identity
63814×add-sqr-sqrt
47185×add-cube-cbrt
18336×prod-diff
9854×add-exp-log
8365×sqrt-prod
8352×distribute-rgt-in distribute-lft-in
8044×associate-+l+
7459×cbrt-prod
7341×add-cbrt-cube
6315×distribute-lft-out--
6191×difference-of-squares
5817×associate-*r*
5324×pow1
4081×div-inv
3947×associate-*l*
3224×associate-/r*
2937×distribute-lft-out
2908×add-log-exp
2637×prod-exp
2601×div-exp
2467×associate-/l*
2264×log1p-expm1-u
2262×expm1-log1p-u
1984×cbrt-unprod
1917×associate-/r/
1649×cbrt-undiv
1417×unswap-sqr
1373×flip-- flip3--
1335×pow-prod-down
1311×cbrt-div
1271×unpow-prod-down
999×associate-*r/
953×log-prod
934×pow1/3
899×frac-times
797×flip-+ flip3-+
747×swap-sqr
689×associate-*l/
560×*-commutative
483×sqrt-div
481×fma-def
474×clear-num frac-2neg
441×sqrt-pow1
432×fma-udef
409×fma-neg
388×associate-/l/
382×sub-neg
353×associate-+r+
337×1-exp
305×rec-exp
260×log-pow
253×pow1/2 pow-prod-up
224×cube-prod
217×sqr-pow
198×pow-sqr
193×exp-sum
189×sum-log
162×associate--l+
159×diff-log
149×pow-exp
137×exp-prod
128×+-commutative
120×rem-sqrt-square
113×pow-unpow
110×frac-sub
100×div-sub
98×unpow2
92×associate--r+
91×pow-flip
90×pow-plus
89×pow-to-exp
85×pow2
80×inv-pow
53×pow-pow
51×un-div-inv
47×distribute-rgt-out
42×frac-add log-div
39×hypot-def
38×distribute-lft-neg-in cos-sum
35×distribute-rgt-neg-in rem-log-exp
26×distribute-rgt-neg-out
25×tanh-def
23×distribute-neg-in
21×cube-mult unpow3
20×distribute-rgt-out--
19×sinh-def
17×sqrt-unprod
16×cosh-def
15×cube-div rem-exp-log unsub-neg
14×distribute-lft-neg-out neg-mul-1
13×rem-square-sqrt
12×rem-cube-cbrt associate-+l-
11×distribute-lft1-in
10×cos-diff associate--r-
9×sub-div
8×associate-+r-
7×exp-diff
6×sqrt-pow2 log1p-udef distribute-rgt1-in exp-neg log1p-expm1 count-2 hypot-udef expm1-log1p neg-log sin-mult rem-cbrt-cube expm1-udef mul-1-neg
5×pow-div
4×unpow1/3 diff-cos sum-cubes distribute-neg-frac
3×neg-sub0 exp-to-pow
2×e-exp-1 associate--l- pow-sub tan-quot
1×pow3

localize9.2s (0.6%)

bsearch4.4s (0.3%)

end5.0ms (0.0%)