Date:Thursday, May 7th, 2020
Commit:0fcb7b8e on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020128
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 (31.0%)

Calls

2560 calls:

11.6s
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (log (- 1.0 z)) b)) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b))))) (* (+ (log z) t) (+ (log (- 1.0 z)) b)))
1.1s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
789.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
772.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
766.0ms
(pow (cbrt (cbrt (* x (- 1.0 (* x y))))) 4)

prune3.3m (24.7%)

Filtered
93149 candidates to 58375 candidates (62.7%)

sample3.3m (24.2%)

Algorithm
504×intervals
Results
1.1m2251404×body80valid
27.2s513446×body80nan
16.7s41624×body1280valid
9.1s37018×body640valid
4.0s5755×body2560valid
3.4s20656×body320valid
1.2s11191×body160valid
100.0ms38×body5120valid
5.0ms28×body1280nan
5.0ms34×body640nan
3.0ms61×body80overflowed
2.0ms21×body320nan
1.0ms10×body160nan

simplify1.3m (9.4%)

Algorithm
1406×egg-herbie

regimes52.1s (6.5%)

Accuracy

Total 79.7b remaining (25.9%)

Threshold costs 20.6b (6.7%)

7.2b33.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
4.4b0%SynthBasics:moogVCF from YampaSynth-0.2
4.4b63.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
4.1b0%Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1
2.9b0%Numeric.SpecFunctions:choose from math-functions-0.1.5.2

rewrite24.5s (3.0%)

Algorithm
902×rewrite-expression-head
Calls

2560 calls:

199.0ms
(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
198.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
111.0ms
(* (/ (* (cbrt a) (cbrt a)) (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))) (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (cbrt a))))
97.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
78.0ms
(* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
Rules
54749×times-frac
52854×*-un-lft-identity
41057×add-sqr-sqrt
28898×add-cube-cbrt
27044×sqrt-prod
10217×add-exp-log
8767×distribute-lft-out
8585×add-cbrt-cube
6841×pow1
6020×associate-*r*
5281×cbrt-prod
4752×difference-of-squares
4229×distribute-lft-out--
3988×add-log-exp
3906×associate-*l*
3626×associate-/r*
3061×associate-/l*
2646×prod-exp
2531×associate-/r/
2326×cbrt-unprod
2321×flip3-- flip--
2232×div-exp
2221×div-inv
2134×associate-*r/
2061×flip-+ flip3-+
1970×pow-prod-down
1880×cbrt-div
1825×associate-*l/
1676×cbrt-undiv
1670×frac-times
1631×log-prod
1545×unpow-prod-down
1331×distribute-rgt-in distribute-lft-in
1317×unswap-sqr
1125×sqrt-div
946×pow1/3
793×*-commutative
770×swap-sqr
707×sub-neg
694×associate-/l/
656×sqr-pow
627×sqrt-pow1
568×clear-num frac-2neg
525×frac-add
510×sum-log
483×cube-prod
343×associate-+l+
339×frac-sub
314×pow-prod-up
307×associate--l+
298×log-pow
297×associate-+r+
290×diff-log
287×+-commutative
258×pow-sqr
257×pow1/2
245×1-exp
243×rec-exp
232×exp-sum
229×exp-prod
203×unpow2
140×distribute-neg-frac
133×pow-unpow
126×div-sub
113×pow-plus
107×pow-exp
101×pow2
97×rem-sqrt-square
91×cube-div
80×distribute-rgt-out--
78×log-div
76×pow-flip
73×inv-pow
71×pow-to-exp
67×associate--r+ pow-pow
62×tanh-def
58×sinh-def
56×un-div-inv unpow3 cube-mult
55×rem-log-exp
44×distribute-rgt-neg-out
37×associate-+l-
34×rem-cube-cbrt
30×cosh-def associate-+r-
23×unsub-neg distribute-rgt-out
20×rem-exp-log
18×rem-cbrt-cube
16×sub-div
15×distribute-rgt-neg-in distribute-lft-neg-in associate--r-
13×sqrt-unprod rem-square-sqrt
10×exp-diff
9×distribute-lft-neg-out associate--l- log-rec
8×cos-sum difference-cubes tan-quot
7×distribute-lft1-in neg-mul-1
6×distribute-rgt1-in cos-diff
5×sum-cubes unpow1/3 count-2 neg-sub0 exp-to-pow
4×neg-log cos-mult
3×diff-cos
2×sqrt-pow2 pow3 exp-neg distribute-neg-in sqr-cos mul-1-neg
1×sqrt-undiv sum-cos

localize9.5s (1.2%)

bsearch167.0ms (0.0%)

end4.0ms (0.0%)

Profiling

Loading profile data...