Date:Tuesday, May 5th, 2020
Commit:256fb890 on master
Hostname:warfa with Racket 7.5
Seed:2020126
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

sample1.4m (33.9%)

Algorithm
60×intervals
Results
30.3s336456×body80valid
11.0s196685×body80nan
8.2s21733×body1280valid
3.2s5326×body2560valid
2.9s10718×body640valid
1.6s3056×body2560nan
964.0ms4973×body320valid
844.0ms2433×body1280nan
669.0ms16512×pre80true
335.0ms2510×body160valid
325.0ms1331×body640nan
106.0ms609×body320nan
94.0ms310×body5120exit
84.0ms237×body5120valid
39.0ms309×body160nan

prune1.3m (32.8%)

Filtered
19827 candidates to 13614 candidates (68.7%)

series43.7s (17.9%)

Calls

351 calls:

488.0ms
(* (* (/ (- y z) (- (+ t 1.0) z)) (* (cbrt (- a x)) (cbrt (- a x)))) (cbrt (- a x)))
488.0ms
(* (* (/ (- y z) (- (+ t 1.0) z)) (* (cbrt (- a x)) (cbrt (- a x)))) (* (* (cbrt (cbrt (- a x))) (cbrt (cbrt (- a x)))) (cbrt (cbrt (- a x)))))
483.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
482.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
479.0ms
(* (* (* (cbrt (- y z)) (cbrt (- y z))) (/ (cbrt (- y z)) (- (+ t 1.0) z))) (- a x))

regimes15.4s (6.3%)

Accuracy

Total 47.9b remaining (29.3%)

Threshold costs 3.0b (1.9%)

13.1b-24.5%Linear.Matrix:det44 from linear-1.19.1.3
6.8b3.9%Linear.Matrix:det33 from linear-1.19.1.3
3.9b3.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.8b61.5%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.8b85.8%The quadratic formula (r1)

simplify11.1s (4.5%)

Algorithm
163×egg-herbie

rewrite5.5s (2.2%)

Algorithm
103×rewrite-expression-head
Calls

351 calls:

290.0ms
(/ (/ (cbrt 1) (/ (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a)) c)) (cbrt a))
59.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
57.0ms
(* (* (/ (- y z) (- (+ t 1.0) z)) (* (cbrt (- a x)) (cbrt (- a x)))) (* (* (cbrt (cbrt (- a x))) (cbrt (cbrt (- a x)))) (cbrt (cbrt (- a x)))))
56.0ms
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
55.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
Rules
33243×times-frac
18626×add-sqr-sqrt
16707×*-un-lft-identity
15572×cbrt-prod
14144×add-cube-cbrt
3381×add-exp-log
3017×cbrt-div
2124×prod-exp
2012×difference-of-squares
1830×frac-times
1516×associate-/l*
1277×add-cbrt-cube
1252×flip-- flip3--
1136×distribute-lft-out--
1115×sqrt-prod
893×pow1
829×associate-*r*
818×associate-*r/
700×associate-*l/
621×associate-*l*
533×div-exp
523×add-log-exp
462×pow-exp
459×cbrt-unprod
436×pow-to-exp
391×unpow-prod-down
361×div-inv
254×pow-prod-down
253×distribute-rgt-neg-in
241×associate-/r*
219×cbrt-undiv
214×distribute-lft-neg-in
206×unswap-sqr
171×frac-sub
165×flip-+ flip3-+
161×distribute-lft-out
160×distribute-rgt-in distribute-lft-in
154×log-prod
136×associate-/r/
134×cube-prod *-commutative
116×sub-neg
110×sqrt-div
108×pow1/3
69×tan-quot
66×exp-prod
62×1-exp rec-exp
58×sqr-pow neg-mul-1
57×swap-sqr
54×clear-num frac-2neg
52×associate-/l/
50×associate-+l+ sum-log
49×diff-log
45×log-pow
43×associate-+r+
39×exp-sum
32×pow-unpow sqrt-pow1
31×frac-add
30×pow1/2
29×pow-pow
26×rem-sqrt-square
25×associate--r+ sin-mult
23×+-commutative
21×neg-sub0 cos-mult
18×associate-+l- associate--l+
17×pow-prod-up neg-log pow-sqr
14×un-div-inv pow-flip
12×inv-pow
11×div-sub
10×sub-div associate--l-
9×pow-plus
8×rem-exp-log pow2 log-div
5×cube-div distribute-lft-neg-out distribute-frac-neg distribute-rgt-neg-out
4×exp-diff rem-cube-cbrt unpow3 distribute-neg-in distribute-neg-frac cube-mult log-rec
3×associate-+r-
2×exp-neg unpow-prod-up tan-sum cos-sum rem-log-exp rem-cbrt-cube
1×sqrt-pow2 mul-1-neg e-exp-1 sqrt-unprod pow-sub cube-neg pow-neg

bsearch2.9s (1.2%)

localize2.7s (1.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...