Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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.4m (60.1%)

Calls

2287 calls:

3.7s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.4s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.3s
(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))))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune3.6m (15.0%)

Filtered
91964 candidates to 58236 candidates (63.3%)

sample3.4m (14.3%)

Algorithm
537×intervals
Results
1.2m2578778×body80valid
20.5s498120×body80nan
17.4s46793×body1280valid
9.5s43113×body640valid
3.9s5586×body2560valid
3.6s24597×body320valid
1.3s13389×body160valid
843.0ms1700×body10240exit
120.0ms46×body5120valid
99.0ms505×body1280nan
94.0ms621×body640nan
46.0ms421×body320nan
16.0ms239×body160nan

simplify1.3m (5.4%)

Algorithm
1383×egg-herbie

regimes40.7s (2.8%)

Accuracy

Total 161.5b remaining (35.4%)

Threshold costs 31.9b (7%)

11.4b48.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.6b2.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
9.1b27.4%Development.Shake.Progress:decay from shake-0.15.5
8.6b26.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.4b26.3%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite21.1s (1.5%)

Algorithm
848×rewrite-expression-head
Calls

2289 calls:

567.0ms
(+ (/ (- (pow (- x y) 3)) (- 1.0 y)) (pow (/ (- x y) (cbrt (- 1.0 y))) 3))
142.0ms
(+ (/ (/ (- z t) (- a t)) (/ 1 y)) x)
117.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (/ (- y t) 2.0)))
106.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
82.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
Rules
51066×times-frac
46313×*-un-lft-identity
45435×add-sqr-sqrt
32851×add-cube-cbrt
11288×add-exp-log
10968×prod-diff
8580×sqrt-prod
7338×cbrt-prod
7290×add-cbrt-cube
5573×pow1
5000×associate-*r*
4915×distribute-lft-out--
4755×difference-of-squares
4571×distribute-rgt-in distribute-lft-in
3955×prod-exp
3223×div-exp
3203×associate-*l*
3038×associate-/r*
3015×add-log-exp
2544×div-inv
2454×associate-/l*
2452×unpow-prod-down
2293×expm1-log1p-u
2291×log1p-expm1-u
2036×distribute-lft-out
1941×cbrt-unprod
1825×cube-prod
1763×associate-/r/
1563×flip3-- flip--
1516×cbrt-undiv
1398×pow-prod-down
1386×fma-def
1248×unswap-sqr
1198×log-prod
999×associate-*r/
934×pow1/3
910×cbrt-div
718×associate-+l+
708×associate-*l/
685×frac-times
665×swap-sqr
662×pow-exp
653×flip-+ flip3-+
588×pow-to-exp
585×*-commutative
581×log-pow
538×associate-+r+
488×sqr-pow
475×clear-num frac-2neg
458×sub-neg
440×associate--l+
436×fma-neg
381×associate-/l/
353×1-exp
344×sqrt-pow1
339×rec-exp
288×sqrt-div
278×fma-udef
230×sum-log
224×unpow3
222×cube-mult exp-prod
209×pow-prod-up
197×distribute-lft-neg-in
195×distribute-rgt-neg-in
183×frac-sub
182×pow-sqr
181×diff-log
176×exp-sum
150×+-commutative
131×associate--r+
125×pow1/2
117×frac-add
108×div-sub
105×unpow2
99×pow-unpow
92×pow-plus
83×pow2
80×log-div
75×pow-flip
74×tanh-def
61×inv-pow
58×pow-pow
55×rem-sqrt-square
47×neg-mul-1
43×cube-div associate-+l-
42×rem-log-exp
39×un-div-inv
38×sinh-def
29×unpow-prod-up
26×rem-cube-cbrt
23×cos-sum
19×distribute-rgt-neg-out
16×hypot-def
12×hypot-udef cosh-def
11×rem-exp-log unsub-neg rem-cbrt-cube
10×neg-sub0
9×difference-cubes log1p-udef distribute-lft-neg-out
8×associate-+r- log1p-expm1 distribute-rgt-out--
7×exp-diff associate--l- distribute-frac-neg distribute-rgt-out
6×sqrt-unprod
5×expm1-log1p rem-square-sqrt expm1-udef tan-quot
4×sub-div diff-cos cos-mult associate--r-
3×sqrt-undiv unpow1/3 cos-diff distribute-lft1-in pow-sub neg-log mul-1-neg
2×sqrt-pow2 exp-neg sqr-cos sin-mult
1×exp-to-pow pow3 remove-double-div sum-cos

localize9.0s (0.6%)

bsearch3.7s (0.3%)

end5.0ms (0.0%)