Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
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.2m (35.8%)

Algorithm
60×intervals
Results
25.3s335662×body80valid
9.0s21339×body1280valid
8.3s205077×body80nan
3.3s11143×body640valid
2.5s5355×body2560valid
1.0s5132×body320valid
453.0ms16512×pre80true
354.0ms2528×body160valid
59.0ms208×body5120valid

prune46.4s (23.4%)

series43.6s (22.0%)

Calls

351 calls:

917.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
889.0ms
(/ (* (/ (/ (pow (/ 1 (sqrt a)) (* 2 1.0)) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x) y)
800.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)))))
666.0ms
(+ x (* (/ 1 (- 1 (* (tan y) (tan z)))) (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (cos a))))
652.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))

regimes12.5s (6.3%)

Accuracy

Total 40.8b remaining (26.3%)

Threshold costs 2.9b (1.9%)

13.3b-29%Linear.Matrix:det44 from linear-1.19.1.3
4.1b14.9%Linear.Matrix:det33 from linear-1.19.1.3
4.0b85.4%NMSE problem 3.2.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.5b48.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite10.1s (5.1%)

Algorithm
105×rewrite-expression-head
Calls

351 calls:

597.0ms
(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
529.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
393.0ms
(/ 1 (pow (- (/ f (- (+ f n))) (/ n (- (+ f n)))) 3))
335.0ms
(/ (* (* x (/ (pow (/ 1 (sqrt a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (/ 1 (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
304.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
5549×*-un-lft-identity
5362×times-frac
4403×add-sqr-sqrt
3090×add-exp-log
3040×add-cube-cbrt
1357×add-cbrt-cube
1350×prod-exp
966×associate-*l/
953×pow1
945×associate-*r/
894×associate-*r*
888×div-exp
841×flip-- flip3--
760×distribute-lft-out--
746×distribute-rgt-neg-in
658×cbrt-prod
644×frac-sub
626×distribute-lft-neg-in
563×frac-times
557×add-log-exp
538×associate-*l*
502×cbrt-unprod
476×associate-/r*
414×distribute-lft-out
409×sqrt-prod
397×unpow-prod-down
393×difference-of-squares
356×sqrt-div
300×associate-/l*
291×pow-exp
287×flip-+ flip3-+
281×pow-prod-down
254×cube-prod
248×cbrt-undiv
240×associate-/l/
234×div-inv
229×associate-/r/
206×unswap-sqr
181×pow-to-exp
171×log-prod
159×distribute-rgt-in distribute-lft-in
151×neg-mul-1
139×sub-neg
136×1-exp
130×*-commutative
107×distribute-neg-frac
106×rec-exp
100×cbrt-div
71×sum-log
68×clear-num frac-2neg
66×distribute-rgt-out--
65×log-pow
64×swap-sqr
59×diff-log pow1/3
58×associate-+r+
50×tan-quot
49×associate-+l+ exp-prod
48×pow1/2 sqrt-pow1
47×sqr-pow
40×exp-sum
35×rem-sqrt-square
34×pow-unpow
32×associate-+l-
31×frac-add +-commutative
28×associate--r+ log-div
25×pow-pow
23×pow-flip
22×sin-mult
21×neg-sub0
20×cos-mult
19×neg-log
17×inv-pow
16×cube-div sub-div div-sub
15×un-div-inv unpow2 associate--l+
14×pow-prod-up associate--l-
12×pow-sqr
10×rem-exp-log associate-+r- unpow-prod-up unpow3 cube-mult
7×exp-diff log-rec
6×distribute-lft-neg-out pow2 pow-plus
3×pow-sub rem-log-exp
2×cos-sum rem-cube-cbrt sqrt-undiv sqrt-unprod distribute-neg-in distribute-frac-neg tan-sum
1×e-exp-1 associate--r- exp-neg unpow1/2 rem-square-sqrt rem-cbrt-cube distribute-rgt-neg-out exp-to-pow

simplify8.3s (4.2%)

Algorithm
165×egg-herbie

bsearch3.7s (1.9%)

localize2.7s (1.3%)

end0.0ms (0.0%)