Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
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.1m (32.6%)

Algorithm
60×intervals
Results
24.3s334859×body80valid
8.8s21440×body1280valid
8.3s207960×body80nan
3.1s10882×body640valid
2.3s5244×body2560valid
977.0ms5115×body320valid
450.0ms16512×pre80true
344.0ms2622×body160valid
59.0ms218×body5120valid

prune1.0m (28.9%)

Filtered
15490 candidates to 9850 candidates (63.6%)

series42.1s (20.0%)

Calls

341 calls:

2.3s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.1s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
525.0ms
(* (/ (/ 1 (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y) (/ (/ (pow (/ 1 a) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 x)))
520.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
486.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

regimes13.7s (6.5%)

Accuracy

Total 35.6b remaining (23.3%)

Threshold costs 2.4b (1.5%)

11.3b-5.2%Linear.Matrix:det44 from linear-1.19.1.3
3.8b3.2%Linear.Matrix:det33 from linear-1.19.1.3
3.6b86.5%NMSE problem 3.2.1
2.6b-11.9%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b7.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite9.5s (4.5%)

Algorithm
101×rewrite-expression-head
Calls

341 calls:

1.1s
(* (/ (/ 1 (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y) (/ (/ (pow (/ 1 a) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 x)))
470.0ms
(* (sqrt (exp (/ (- (+ f n)) (- f n)))) (sqrt (exp (/ (- (+ f n)) (- f n)))))
433.0ms
(log (* (sqrt (exp (/ (- (+ f n)) (- f n)))) (sqrt (exp (/ (- (+ f n)) (- f n))))))
312.0ms
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
308.0ms
(* (pow (pow (sqrt (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))))) 4) 1) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))
Rules
15242×times-frac
10488×*-un-lft-identity
8924×add-sqr-sqrt
6806×add-cube-cbrt
3230×add-exp-log
2612×exp-prod
2181×associate-*r*
2087×unpow-prod-down
1965×sqrt-pow1
1474×cbrt-prod
1272×div-exp
1242×add-cbrt-cube
1215×distribute-rgt-neg-in
1170×prod-exp
1125×log-pow
1058×distribute-lft-neg-in
828×pow1
812×distribute-lft-out--
790×associate-*l*
678×flip3-- flip--
665×associate-*r/
629×div-inv
622×associate-*l/
618×distribute-lft-out
558×pow-prod-down
551×difference-of-squares
499×add-log-exp
466×exp-sum
454×frac-sub
423×frac-times
407×associate-/l*
383×cbrt-unprod
318×associate-/r*
317×sqrt-prod pow-prod-up
313×pow-sqr
301×unswap-sqr
294×neg-mul-1
285×pow-exp
270×cbrt-undiv
258×cbrt-div
228×associate-/r/
195×sqr-pow
178×rec-exp 1-exp
175×pow-to-exp
165×associate-/l/
143×distribute-rgt-in distribute-lft-in
125×sub-neg
118×*-commutative
115×flip-+ flip3-+
105×log-prod
96×sqrt-div
79×pow1/3
72×tan-quot
66×clear-num frac-2neg
64×swap-sqr
51×pow1/2
46×diff-log
40×associate-+r+
37×sum-log
31×pow-unpow rem-sqrt-square
30×sin-mult
29×neg-sub0
26×associate--r+
24×div-sub cos-mult log-div
20×distribute-frac-neg
18×+-commutative
17×exp-diff
16×exp-neg
15×sub-div
14×rem-exp-log inv-pow pow-flip cube-prod
12×associate-+l+ pow2 pow-plus
11×pow-pow frac-add
10×associate-+l- distribute-neg-frac
9×neg-log associate--l+
8×cube-div un-div-inv rem-log-exp log-rec
5×distribute-lft-neg-out
4×distribute-neg-in
3×rem-cube-cbrt distribute-rgt-out-- associate--l-
2×cos-sum sqrt-undiv unpow3 sqrt-unprod unpow-prod-up cube-mult tan-sum distribute-rgt-neg-out associate-+r-
1×sqrt-pow2 e-exp-1 pow-neg exp-to-pow pow-sub rem-square-sqrt distribute-rgt-out rem-cbrt-cube

simplify9.0s (4.3%)

Algorithm
161×egg-herbie

bsearch4.1s (1.9%)

localize2.7s (1.3%)

end0.0ms (0.0%)