Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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

series4.2m (29.9%)

Calls

2524 calls:

3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.8s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
1.2s
(/ (+ (* x y) (* z (- t a))) (* (cbrt (+ y (* z (- b y)))) (cbrt (+ y (* z (- b y))))))
1.2s
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))

sample3.7m (26.0%)

Algorithm
538×intervals
Results
1.4m2647668×body80valid
21.0s507867×body80nan
16.9s45978×body1280valid
9.4s42764×body640valid
3.8s5484×body2560valid
3.6s24785×body320valid
1.3s13469×body160valid
780.0ms1524×body10240exit
105.0ms666×body640nan
96.0ms493×body1280nan
80.0ms32×body5120valid
48.0ms406×body320nan
16.0ms220×body160nan

prune3.5m (24.4%)

Filtered
93838 candidates to 59583 candidates (63.5%)

simplify1.2m (8.7%)

Algorithm
1426×egg-herbie

regimes53.6s (6.3%)

Accuracy

Total 194.3b remaining (34.7%)

Threshold costs 26.6b (4.7%)

12.5b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b-2.3%Linear.Matrix:det44 from linear-1.19.1.3
10.1b57%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.9b6.2%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.5b25.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite25.6s (3.0%)

Algorithm
889×rewrite-expression-head
Calls

2524 calls:

198.0ms
(/ (/ (/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
189.0ms
(* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (/ (- y t) (cbrt 2.0))))
108.0ms
(/ (* x (/ (pow (sqrt (/ 1 a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ y (/ (pow (sqrt (/ 1 a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))
100.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
83.0ms
(- x (/ 1 (/ (/ (+ (- t z) 1.0) a) (- y z))))
Rules
58536×times-frac
54459×*-un-lft-identity
42421×add-sqr-sqrt
30407×add-cube-cbrt
26214×sqrt-prod
11504×add-exp-log
8979×add-cbrt-cube
8870×distribute-lft-out
7467×cbrt-prod
7398×associate-*r*
7052×pow1
4364×difference-of-squares
4266×distribute-lft-out--
4246×associate-*l*
4141×associate-/r*
3910×add-log-exp
3379×prod-exp
2762×associate-/l* cbrt-unprod
2605×div-exp
2538×cbrt-div
2229×flip3-- flip--
2201×associate-*r/
2197×div-inv
2163×associate-/r/
2080×pow-prod-down
1863×frac-times
1850×cbrt-undiv
1695×log-prod
1676×flip-+ flip3-+
1579×associate-*l/
1443×unswap-sqr
1383×distribute-rgt-in distribute-lft-in
1379×unpow-prod-down
1353×sqrt-div
911×swap-sqr
881×pow1/3
826×*-commutative
666×sub-neg
575×frac-sub
546×associate-/l/
532×sqrt-pow1
525×clear-num frac-2neg
522×sum-log
451×cube-prod
374×associate-+l+
326×log-pow
322×sqr-pow
309×associate-+r+ pow-prod-up
298×+-commutative
286×pow1/2
269×associate--l+
267×diff-log
256×1-exp rec-exp
254×pow-sqr
249×tanh-def
168×frac-add
157×exp-sum
150×pow-exp
127×div-sub
126×pow-to-exp
120×pow-unpow
115×pow-plus exp-prod
101×pow2 distribute-rgt-out
95×rem-sqrt-square
88×log-div
84×pow-pow
79×distribute-rgt-neg-in distribute-lft-neg-in
75×cube-div
74×rem-log-exp
67×associate--r+
64×pow-flip
62×inv-pow
60×unpow3 cube-mult
46×associate-+l-
45×unpow2
41×rem-cube-cbrt distribute-rgt-neg-out
40×un-div-inv
32×sinh-def
31×distribute-rgt1-in
27×distribute-lft1-in
26×count-2
25×cosh-def
23×difference-cubes
21×unpow1/3 rem-cbrt-cube
20×distribute-rgt-out--
18×sqrt-unprod associate-+r-
17×rem-square-sqrt
15×rem-exp-log
14×unsub-neg
13×sub-div
11×sum-cubes distribute-lft-neg-out
10×exp-diff neg-mul-1
9×associate--l-
8×log-rec cos-mult distribute-neg-frac
7×sqrt-undiv tan-quot
6×neg-sub0 associate--r-
5×sqrt-pow2
4×distribute-neg-in neg-log sqr-cos
3×cos-diff distribute-frac-neg
2×cos-sum diff-cos
1×exp-to-pow pow3 exp-neg acos-asin sin-mult sum-cos mul-1-neg

localize9.4s (1.1%)

bsearch4.4s (0.5%)

end4.0ms (0.0%)