Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
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.1m (35.3%)

Algorithm
60×intervals
Results
24.1s335662×body80valid
8.8s21339×body1280valid
8.1s205077×body80nan
3.2s11143×body640valid
2.4s5355×body2560valid
1.0s5132×body320valid
434.0ms16512×pre80true
333.0ms2528×body160valid
59.0ms208×body5120valid

prune45.6s (23.6%)

series42.4s (21.9%)

Calls

354 calls:

703.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
687.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
683.0ms
(+ x (* (/ 1 (- 1 (* (tan y) (tan z)))) (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (cos a))))
589.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
551.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 (/ (sqrt 1) (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))

regimes12.5s (6.5%)

Accuracy

Total 41.9b remaining (26.8%)

Threshold costs 3.3b (2.1%)

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
3.1b38%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite9.6s (5.0%)

Algorithm
105×rewrite-expression-head
Calls

354 calls:

1.2s
(* (* (* 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 (/ (sqrt 1) (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
533.0ms
(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
314.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))
312.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 (/ (sqrt 1) (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
276.0ms
(* (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (/ a (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)))
Rules
4374×add-exp-log
3770×times-frac
3735×add-sqr-sqrt
3616×*-un-lft-identity
2644×add-cube-cbrt
2109×prod-exp
1416×add-cbrt-cube
1350×div-exp
990×pow1
983×associate-*l/
955×associate-*r/
942×associate-*r*
832×flip-- flip3--
659×frac-sub
587×associate-*l*
571×add-log-exp
562×frac-times
532×cbrt-unprod
500×pow-exp
405×sqrt-prod
354×sqrt-div
345×cbrt-prod
344×associate-/r*
296×pow-prod-down
294×associate-/l*
293×distribute-lft-out--
282×difference-of-squares
264×pow-to-exp
261×flip-+ flip3-+
257×cbrt-undiv distribute-rgt-neg-in
236×associate-/l/
226×distribute-lft-neg-in
212×distribute-lft-out unswap-sqr
206×div-inv
171×associate-/r/ log-prod
166×1-exp
163×rec-exp
155×distribute-rgt-in distribute-lft-in
137×*-commutative
133×sub-neg
123×unpow-prod-down
103×swap-sqr
92×cbrt-div
85×sqrt-pow1
73×neg-mul-1
69×clear-num frac-2neg
68×log-pow
67×sum-log
62×diff-log
58×associate-+r+
56×pow1/2
51×pow1/3
45×associate-+l+
43×tan-quot
42×exp-prod
36×sqr-pow
35×rem-sqrt-square
30×exp-sum
29×+-commutative associate-+l-
28×associate--r+ log-div
26×frac-add
23×pow-prod-up
22×sin-mult
20×pow-unpow cos-mult
19×pow-sqr
18×neg-sub0
17×sub-div
16×neg-log pow-flip div-sub associate--l+ exp-to-pow
15×inv-pow distribute-rgt-out-- unpow2
14×associate--l-
12×un-div-inv
10×associate-+r- unpow-prod-up
9×pow-pow
8×rem-exp-log pow2 pow-plus log-rec
7×distribute-lft-neg-out
6×cube-prod
5×exp-diff
4×cube-div
3×sqrt-unprod pow-sub rem-log-exp
2×cos-sum distribute-neg-in unpow3 cube-mult rem-square-sqrt distribute-frac-neg distribute-rgt-out tan-sum sqrt-undiv distribute-neg-frac
1×rem-cube-cbrt e-exp-1 associate--r- exp-neg rem-cbrt-cube distribute-rgt-neg-out

simplify8.2s (4.2%)

Algorithm
165×egg-herbie

bsearch4.1s (2.1%)

localize2.8s (1.4%)

end1.0ms (0.0%)