Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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

sample4.1m (29.2%)

Algorithm
538×intervals
Results
1.7m2636022×body80valid
26.1s502119×body80nan
18.9s47482×body1280valid
10.5s42733×body640valid
4.1s25157×body320valid
4.1s5604×body2560valid
1.5s14022×body160valid
878.0ms1566×body5120exit
172.0ms1048×body640nan
162.0ms810×body1280nan
123.0ms46×body5120valid
80.0ms659×body320nan
30.0ms385×body160nan

series4.1m (29.2%)

Calls

2548 calls:

1.4s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.4s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.1s
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))
850.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
820.0ms
(* (/ 1 (+ (sqrt x) (sqrt y))) (/ (+ x y) (- (sqrt x) (sqrt y))))

prune3.1m (22.0%)

Filtered
82710 candidates to 55501 candidates (67.1%)

simplify1.2m (8.6%)

Algorithm
1443×egg-herbie

regimes51.8s (6.1%)

Accuracy

Total 190.4b remaining (36%)

Threshold costs 26.7b (5.1%)

13.8b54.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.5b56%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.9b11.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.7b60%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.5b60.8%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

rewrite23.1s (2.7%)

Algorithm
906×rewrite-expression-head
Calls

2548 calls:

254.0ms
(* (/ (cbrt (- y x)) (/ (* (cbrt t) (cbrt t)) (cbrt (- y x)))) (/ (cbrt (- y x)) (/ (cbrt t) z)))
211.0ms
(* x (- (* x 9.0) 12.0))
106.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
74.0ms
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
74.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
Rules
32529×times-frac
31896×add-sqr-sqrt
31502×*-un-lft-identity
20753×add-cube-cbrt
10401×add-exp-log
8483×add-cbrt-cube
6991×pow1
6909×associate-*r*
5808×cbrt-prod
4384×associate-*l*
3893×add-log-exp
3581×difference-of-squares
3485×distribute-lft-out--
3271×associate-/r*
2926×prod-exp
2673×sqrt-prod
2490×cbrt-unprod
2441×cbrt-div
2340×flip3-- flip--
2208×associate-/l*
2186×div-exp
2057×pow-prod-down
2032×distribute-lft-out
1970×associate-*l/
1728×associate-*r/
1681×div-inv
1666×log-prod
1653×associate-/r/
1606×cbrt-undiv
1591×unswap-sqr
1546×flip-+ flip3-+
1381×frac-times
1346×distribute-rgt-in distribute-lft-in
1060×pow1/3
1019×unpow-prod-down
976×swap-sqr
838×*-commutative
697×sub-neg
617×frac-add
533×frac-sub
510×clear-num frac-2neg
502×sqrt-pow1
497×sqrt-div
491×sum-log
489×associate-/l/
477×cube-prod
402×associate-+l+
367×associate-+r+
338×pow-prod-up
330×log-pow
285×pow-sqr
283×+-commutative
269×associate--l+
262×diff-log
260×pow1/2
258×exp-prod
245×1-exp rec-exp
239×sqr-pow
139×pow-exp
128×pow-unpow
125×pow-plus
123×exp-sum
116×pow2 div-sub
100×unpow-prod-up
90×pow-to-exp
82×rem-sqrt-square
75×pow-pow log-div
65×pow-flip unpow2
61×tanh-def
60×inv-pow
57×associate--r+
51×distribute-rgt-neg-out
48×rem-log-exp
43×associate-+l- sinh-def
42×un-div-inv
40×cube-div
32×unpow3 cube-mult distribute-rgt-out
30×rem-exp-log
29×cosh-def
23×rem-cube-cbrt associate-+r-
22×unsub-neg
19×distribute-rgt-out--
18×distribute-rgt-neg-in distribute-lft-neg-in
17×sqrt-unprod
16×rem-square-sqrt
14×unpow1/3 distribute-lft-neg-out
13×exp-diff
12×sub-div rem-cbrt-cube
11×associate--r-
9×exp-to-pow
8×difference-cubes distribute-rgt1-in pow-sub neg-mul-1
7×distribute-lft1-in sqrt-undiv log-rec tan-quot
6×count-2 distribute-neg-frac
5×sum-cubes associate--l-
4×diff-cos neg-sub0
3×neg-log sqrt-pow2 cos-diff
2×exp-neg difference-of-sqr-1 cos-sum mul-1-neg
1×e-exp-1 acos-asin sin-mult cos-mult

localize9.4s (1.1%)

bsearch8.7s (1.0%)

end5.0ms (0.0%)