Date:Tuesday, May 19th, 2020
Commit:6de45b16 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020140
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.3m (41.2%)

Algorithm
60×intervals
Results
30.8s336068×body80valid
11.0s199356×body80nan
8.1s21271×body1280valid
3.2s5312×body2560valid
3.0s11024×body640valid
1.6s3091×body2560nan
977.0ms5004×body320valid
835.0ms2554×body1280nan
669.0ms16512×pre80true
342.0ms2552×body160valid
298.0ms1300×body640nan
104.0ms618×body320nan
79.0ms291×body5120exit
74.0ms208×body5120valid
44.0ms342×body160nan

prune42.1s (21.5%)

Filtered
12663 candidates to 8548 candidates (67.5%)

series40.6s (20.8%)

Calls

352 calls:

510.0ms
(* (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
504.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
495.0ms
(/ (+ (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) (* (cbrt y) (cbrt y))) (cbrt y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
487.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
475.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))

regimes14.6s (7.5%)

Accuracy

Total 34.0b remaining (22.7%)

Threshold costs 6.8b (4.6%)

13.0b-19.3%Linear.Matrix:det44 from linear-1.19.1.3
3.4b49.5%Linear.Matrix:det33 from linear-1.19.1.3
3.0b88.9%The quadratic formula (r1)
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify8.7s (4.4%)

Algorithm
163×egg-herbie

rewrite3.4s (1.7%)

Algorithm
103×rewrite-expression-head
Calls

352 calls:

71.0ms
(* (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
47.0ms
(* (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z)))) (- a x))
47.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
32.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
32.0ms
(/ (+ (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) (* (cbrt y) (cbrt y))) (cbrt y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
7603×times-frac
5426×add-sqr-sqrt
5382×*-un-lft-identity
4009×add-cube-cbrt
1959×add-exp-log
1177×add-cbrt-cube
1125×unpow-prod-down
859×pow1
853×prod-exp
762×associate-*l*
635×sqrt-prod
608×associate-*r*
573×add-log-exp
509×difference-of-squares
474×distribute-lft-out--
456×associate-/l*
446×cbrt-prod
402×associate-/r*
380×distribute-rgt-neg-in
361×cbrt-unprod
352×div-exp
342×div-inv
316×flip-- flip3--
310×distribute-lft-neg-in
298×exp-sum
245×distribute-lft-out
219×pow-prod-down
212×associate-*r/
203×cbrt-undiv
190×frac-times
189×log-prod
188×sqrt-div
183×distribute-rgt-in distribute-lft-in
172×associate-/r/ unswap-sqr
170×associate-*l/
163×neg-mul-1
161×pow-exp
148×flip-+ flip3-+
145×pow-to-exp
143×sub-neg
132×cube-prod
127×frac-sub
122×sqr-pow
120×*-commutative
97×sqrt-pow1
73×pow1/2
72×associate-/l/
71×clear-num frac-2neg
70×cbrt-div
67×sum-log
64×diff-log
63×associate-+r+
57×log-pow
49×pow1/3
46×associate-+l+
42×rem-sqrt-square
38×pow-prod-up
36×1-exp rec-exp sin-mult
35×exp-prod
31×tan-quot
29×swap-sqr cos-mult
27×+-commutative
26×unpow2
22×pow-unpow
20×sub-div unpow-prod-up
19×frac-add associate--r+
18×div-sub associate-+l-
16×distribute-rgt-out--
15×neg-sub0
13×pow-flip associate--l+
12×rem-exp-log inv-pow pow-sqr log-div
11×pow-pow
10×pow-sub
9×un-div-inv neg-log
8×distribute-frac-neg
7×exp-diff
6×distribute-neg-in distribute-rgt-neg-out
5×distribute-lft-neg-out associate--l- associate-+r- log-rec
4×sqrt-unprod distribute-neg-frac
3×pow2 unsub-neg pow-plus
2×cube-div rem-cube-cbrt unpow3 cube-mult tan-sum cos-sum rem-log-exp
1×mul-1-neg exp-neg rem-square-sqrt distribute-rgt-out exp-lft-cube cube-neg rem-cbrt-cube

bsearch3.1s (1.6%)

localize2.6s (1.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...