Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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.6m (59.4%)

Calls

2341 calls:

5.5s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
5.4s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
3.2s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt 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.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune3.8m (15.6%)

Filtered
95945 candidates to 61350 candidates (63.9%)

sample3.5m (14.2%)

Algorithm
538×intervals
Results
1.2m2578741×body80valid
21.6s524780×body80nan
17.5s46551×body1280valid
9.8s43866×body640valid
3.9s5619×body2560valid
3.7s25162×body320valid
1.5s13689×body160valid
752.0ms1549×body10240exit
119.0ms47×body5120valid
101.0ms511×body1280nan
99.0ms661×body640nan
45.0ms402×body320nan
16.0ms228×body160nan

simplify1.3m (5.4%)

Algorithm
1413×egg-herbie

regimes46.3s (3.1%)

Accuracy

Total 168.5b remaining (34.5%)

Threshold costs 27.3b (5.6%)

11.9b61.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.5b47.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.3b7.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.0b-2.4%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.5b62.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite21.1s (1.4%)

Algorithm
876×rewrite-expression-head
Calls

2344 calls:

721.0ms
(* (/ (pow (/ 1 a) 1.0) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (/ (/ 1 (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ (cbrt y) (cbrt x))))
270.0ms
(* (/ (cbrt y) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt y))) (/ (cbrt y) (/ (cbrt (- a t)) (- z t))))
92.0ms
(/ (/ (/ (fma z (+ x y) (- (* (+ t y) a) (* y b))) (cbrt (+ (+ x t) y))) (cbrt (+ (+ x t) y))) (cbrt (+ (+ x t) y)))
81.0ms
(- (/ 1.0 (+ x y)) (/ (/ y z) (+ x y)))
81.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
Rules
59282×times-frac
53483×*-un-lft-identity
47630×add-sqr-sqrt
35090×add-cube-cbrt
11244×add-exp-log
10239×prod-diff
9954×cbrt-prod
7625×add-cbrt-cube
5838×pow1
5550×sqrt-prod
5544×distribute-lft-out
5238×associate-*r*
4362×distribute-lft-out--
4315×difference-of-squares
3422×associate-/r*
3417×div-exp
3400×associate-*l*
3162×add-log-exp
3115×prod-exp
2939×unpow-prod-down
2899×div-inv
2493×associate-/l*
2386×distribute-rgt-in distribute-lft-in
2346×expm1-log1p-u
2344×log1p-expm1-u
2199×associate-/r/
2127×cbrt-unprod
1722×cbrt-undiv
1574×flip-- flip3--
1420×unswap-sqr
1409×cbrt-div
1334×pow-prod-down
1185×associate-*r/
1183×cube-prod
1125×flip-+ flip3-+
1121×log-prod
975×frac-times
922×pow1/3
901×fma-def
800×associate-*l/
747×associate-+r+
717×swap-sqr
682×fma-udef
603×fma-neg
593×associate-+l+
592×*-commutative
568×log-pow
530×sqrt-div
520×sqr-pow
518×associate--l+
494×clear-num frac-2neg
489×sqrt-pow1
458×sub-neg
411×exp-sum
405×1-exp
397×rec-exp
370×associate-/l/
319×pow-exp
308×pow-prod-up
295×pow1/2
250×sum-log
224×pow-sqr
203×diff-log
156×+-commutative
150×unpow2
142×frac-sub
131×pow-to-exp
129×associate--r+
127×frac-add
124×unpow3 cube-mult
114×pow-plus
109×pow-unpow
103×div-sub
101×pow2
89×pow-flip
86×log-div
84×rem-sqrt-square
77×pow-pow
73×inv-pow
69×exp-prod
63×distribute-rgt-out
48×associate-+l-
47×tanh-def
43×un-div-inv
42×distribute-lft-neg-in distribute-rgt-neg-in
41×rem-log-exp
39×distribute-rgt-neg-out
35×sinh-def
29×rem-cube-cbrt
28×cos-sum
26×distribute-rgt-out--
24×cube-div
20×hypot-udef hypot-def
19×distribute-lft-neg-out cosh-def
17×sqrt-unprod
16×neg-mul-1
15×distribute-lft1-in associate-+r-
14×distribute-rgt1-in rem-square-sqrt
13×rem-cbrt-cube
12×unsub-neg associate--l-
10×difference-cubes count-2 exp-to-pow
9×sqrt-pow2 sub-div
8×rem-exp-log
6×unpow1/3
5×expm1-udef
4×cos-diff diff-cos expm1-log1p associate--r-
3×log1p-udef log1p-expm1 neg-sub0
2×exp-diff pow3 exp-neg sqrt-undiv tan-quot mul-1-neg
1×sin-cos-mult unpow-prod-up distribute-frac-neg neg-log

localize9.3s (0.6%)

bsearch3.4s (0.2%)

end5.0ms (0.0%)