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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series14.2m (58.9%)

Calls

2452 calls:

1.2s
(sqrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))
1.2s
(sqrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))
885.0ms
(+ (* (- (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* a b)) (* (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) 4.0))
852.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
812.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample3.8m (15.5%)

Algorithm
537×intervals
Results
1.5m2639252×body80valid
20.9s498120×body80nan
17.9s46793×body1280valid
9.9s43113×body640valid
3.8s5586×body2560valid
3.7s24597×body320valid
1.3s13389×body160valid
872.0ms1700×body10240exit
119.0ms46×body5120valid
98.0ms621×body640nan
96.0ms505×body1280nan
48.0ms421×body320nan
17.0ms239×body160nan

prune3.4m (13.9%)

Filtered
84800 candidates to 54932 candidates (64.8%)

simplify1.3m (5.3%)

Algorithm
1410×egg-herbie

regimes52.6s (3.6%)

Accuracy

Total 196.5b remaining (35.2%)

Threshold costs 30.9b (5.5%)

13.4b56.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.3b-15.6%Linear.Matrix:det44 from linear-1.19.1.3
9.7b-3.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.5b60.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.5b62.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite24.9s (1.7%)

Algorithm
875×rewrite-expression-head
Calls

2455 calls:

348.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (/ (- y t) 2.0)))
226.0ms
(* (+ x 16.0) (/ 1 116.0))
115.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
109.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
76.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
38932×times-frac
36253×*-un-lft-identity
35135×add-sqr-sqrt
23023×add-cube-cbrt
13594×add-exp-log
8679×add-cbrt-cube
7089×cbrt-prod
6695×associate-*r*
6518×pow1
4876×prod-exp
4829×sqrt-prod
4334×distribute-lft-out--
4206×difference-of-squares
4187×associate-*l*
3842×div-exp
3798×add-log-exp
3382×associate-/r*
2645×cbrt-unprod
2495×distribute-lft-out
2361×associate-/l*
2130×associate-*r/
2090×cbrt-div
2022×flip-- flip3--
1925×pow-prod-down
1923×div-inv
1855×associate-/r/
1755×flip-+ cbrt-undiv flip3-+
1750×frac-times
1566×associate-*l/
1532×unswap-sqr
1422×log-prod
1341×unpow-prod-down
1281×pow-exp
1182×distribute-rgt-in distribute-lft-in
849×pow1/3
827×swap-sqr
798×sqrt-div
794×*-commutative
701×cube-prod
618×sub-neg
575×associate-/l/
570×1-exp
566×frac-sub
562×rec-exp
523×sum-log
514×clear-num frac-2neg
462×sqrt-pow1
423×log-pow
393×associate-+l+
378×pow-to-exp
363×associate-+r+
331×associate--l+
313×+-commutative
307×sqr-pow
290×frac-add
261×exp-prod
241×pow-prod-up
236×diff-log
203×pow-sqr
196×pow1/2
113×div-sub
94×pow-unpow
93×pow-plus
88×exp-sum
86×unpow2
84×pow2
80×tanh-def
78×pow-flip
77×rem-sqrt-square
75×cube-div
68×log-div
67×inv-pow
60×associate--r+
54×pow-pow
47×rem-log-exp
45×unpow3 cube-mult associate-+l-
44×un-div-inv
38×sinh-def
37×distribute-rgt-neg-out
29×rem-cube-cbrt
25×distribute-rgt-out--
24×distribute-lft-neg-in distribute-rgt-neg-in
19×unsub-neg
18×unpow-prod-up
16×associate-+r-
13×rem-cbrt-cube
12×difference-cubes cosh-def
10×sqrt-unprod rem-square-sqrt distribute-neg-frac
9×associate--l- neg-sub0 tan-quot
8×unpow1/3 distribute-lft-neg-out rem-exp-log
7×exp-diff neg-mul-1 associate--r-
6×sub-div neg-log
5×sum-cubes exp-to-pow diff-cos
4×distribute-rgt-out
3×sqrt-pow2 cos-diff
2×cos-sum exp-neg difference-of-sqr-1 sin-mult log-rec mul-1-neg
1×remove-double-div distribute-rgt1-in pow-sub sqrt-undiv

localize10.3s (0.7%)

bsearch5.3s (0.4%)

end5.0ms (0.0%)