Date:Saturday, May 9th, 2020
Commit:4f3ba49d on doc-tweaks
Hostname:warfa with Racket 7.5
Seed:2020130
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.8%)

Algorithm
60×intervals
Results
30.7s336229×body80valid
11.0s199482×body80nan
8.0s21272×body1280valid
3.3s5368×body2560valid
3.0s11026×body640valid
1.6s3094×body2560nan
979.0ms5192×body320valid
892.0ms2607×body1280nan
666.0ms16512×pre80true
328.0ms2493×body160valid
297.0ms1252×body640nan
112.0ms639×body320nan
81.0ms280×body5120exit
78.0ms223×body5120valid
39.0ms316×body160nan

prune1.3m (31.4%)

Filtered
19973 candidates to 14688 candidates (73.5%)

series41.4s (17.1%)

Calls

349 calls:

796.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
790.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
789.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
670.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
520.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y)

regimes15.1s (6.2%)

Accuracy

Total 39.6b remaining (25.5%)

Threshold costs 4.0b (2.6%)

14.3b-33%Linear.Matrix:det44 from linear-1.19.1.3
6.4b1.6%Linear.Matrix:det33 from linear-1.19.1.3
4.2b56.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.6b21.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.3b11.5%cos(2*x)/(cos^2(x)*sin^2(x))

simplify10.5s (4.3%)

Algorithm
165×egg-herbie

rewrite9.7s (4.0%)

Algorithm
105×rewrite-expression-head
Calls

349 calls:

4.9s
(* (/ (/ 1 (cbrt (/ (neg (acos a)) a))) (cbrt (/ (neg (acos a)) a))) (/ 1 (cbrt (/ (neg (acos a)) a))))
119.0ms
(/ (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) (/ 1 x))
91.0ms
(* (sqrt (/ (neg (+ f n)) (- f n))) (sqrt (/ (neg (+ f n)) (- f n))))
61.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
43.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
Rules
35356×times-frac
16782×add-sqr-sqrt
16412×*-un-lft-identity
14822×add-cube-cbrt
8763×cbrt-prod
5021×associate-*l*
3278×unpow-prod-down
2440×distribute-rgt-neg-in
2389×distribute-lft-neg-in
2038×add-exp-log
1155×add-cbrt-cube
1070×exp-sum
1046×div-inv
887×pow1
881×prod-exp
771×neg-mul-1
753×associate-*r*
696×sqrt-prod
690×associate-/l*
555×add-log-exp
453×distribute-lft-out--
445×div-exp
432×difference-of-squares
349×cbrt-unprod
343×unswap-sqr
332×flip3-- flip--
320×cbrt-div
305×sqr-pow
302×associate-/r*
254×associate-/r/
253×distribute-lft-out
227×pow-prod-down
207×associate-*r/
201×frac-times
198×swap-sqr
196×pow-exp
188×cbrt-undiv
187×associate-*l/
168×pow-to-exp
159×distribute-rgt-in distribute-lft-in
140×log-prod
131×sub-neg
124×*-commutative
118×flip-+ flip3-+
89×pow1/3
80×exp-prod
79×tan-quot
72×associate-/l/
63×sqrt-div cos-mult
61×sum-log
60×clear-num frac-2neg
59×diff-log
58×frac-sub
52×log-pow associate-+r+
51×1-exp
48×sin-mult
47×frac-add
44×rec-exp
42×pow-unpow
41×sqrt-pow1
40×pow1/2
31×pow-pow pow-prod-up
29×associate-+l+
26×rem-sqrt-square
24×associate-+l-
23×+-commutative
22×pow-sqr
21×exp-diff rem-exp-log unpow2
19×neg-sub0
17×associate--l+
16×pow-flip
15×cube-div div-sub
14×neg-log sub-div
13×inv-pow
12×associate--r+ log-div
11×pow-plus
9×pow2
8×rem-cube-cbrt associate--l-
6×distribute-neg-frac
5×pow-div un-div-inv unpow3 cube-mult cube-prod
4×difference-cubes distribute-lft-neg-out exp-neg distribute-frac-neg log-rec distribute-neg-in distribute-rgt-neg-out associate-+r-
2×cos-sum unpow-prod-up sqrt-unprod tan-sum exp-to-pow
1×pow3 pow-sub rem-square-sqrt distribute-rgt-out rem-cbrt-cube rem-log-exp

bsearch4.6s (1.9%)

localize2.7s (1.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...