Date:Friday, May 8th, 2020
Commit:4abb449a on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020129
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 (38.9%)

Algorithm
60×intervals
Results
31.2s337003×body80valid
11.3s200613×body80nan
8.0s21571×body1280valid
3.3s5274×body2560valid
2.9s10972×body640valid
1.6s3121×body2560nan
981.0ms5170×body320valid
865.0ms2646×body1280nan
636.0ms16512×pre80true
329.0ms2538×body160valid
315.0ms1354×body640nan
106.0ms630×body320nan
90.0ms344×body5120exit
71.0ms215×body5120valid
37.0ms317×body160nan

prune53.1s (25.2%)

Filtered
13637 candidates to 9431 candidates (69.2%)

series41.5s (19.7%)

Calls

345 calls:

752.0ms
(/ (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (cbrt y) x))
539.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (pow (* (tan y) (tan z)) 3)) (cos a)))
535.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
530.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
472.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes15.3s (7.2%)

Accuracy

Total 40.9b remaining (26.1%)

Threshold costs 3.7b (2.4%)

12.7b-22.8%Linear.Matrix:det44 from linear-1.19.1.3
3.4b7.3%Linear.Matrix:det33 from linear-1.19.1.3
3.4b87.7%The quadratic formula (r1)
3.1b-39.4%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.9b90%NMSE problem 3.2.1

simplify9.5s (4.5%)

Algorithm
163×egg-herbie

rewrite3.6s (1.7%)

Algorithm
103×rewrite-expression-head
Calls

345 calls:

60.0ms
(/ (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (cbrt y) x))
57.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
45.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
44.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
33.0ms
(* (cbrt (/ (neg (acos a)) a)) (cbrt (/ (neg (acos a)) a)))
Rules
11139×times-frac
6579×*-un-lft-identity
6578×add-sqr-sqrt
5477×add-cube-cbrt
3239×cbrt-prod
2129×unpow-prod-down
2061×add-exp-log
1213×add-cbrt-cube
971×pow1
948×prod-exp
834×associate-*l*
672×associate-*r*
642×exp-sum
564×add-log-exp
479×div-inv
417×cbrt-unprod
389×flip3-- flip--
376×associate-/l*
366×distribute-lft-out--
340×div-exp
326×difference-of-squares
323×distribute-rgt-neg-in
319×associate-/r*
274×pow-prod-down
271×distribute-lft-neg-in
255×frac-times
229×associate-*l/
225×distribute-lft-out
217×associate-*r/
208×associate-/r/
206×sqrt-prod
205×cbrt-undiv
196×unswap-sqr
183×cbrt-div
180×sqr-pow
179×distribute-rgt-in distribute-lft-in
173×log-prod
171×pow-exp
168×frac-sub
155×pow-to-exp
137×cube-prod
135×flip-+ flip3-+
127×*-commutative
125×sub-neg
80×sqrt-div
79×swap-sqr
78×neg-mul-1
77×sum-log
75×associate-+l+
73×tan-quot
69×associate-+r+
63×pow1/3
62×diff-log
61×associate-/l/
59×clear-num frac-2neg
54×log-pow
52×pow-unpow
35×sqrt-pow1
34×pow1/2 1-exp rec-exp
32×frac-add sin-mult
31×rem-sqrt-square +-commutative exp-prod
27×associate-+l-
23×associate--l+
22×pow-prod-up pow-sqr cos-mult
20×neg-sub0
19×pow-pow
18×associate--r+
16×log-div
15×neg-log
13×pow-plus
12×un-div-inv div-sub
11×cube-div sub-div associate--l-
10×unpow2 pow-flip pow2
9×inv-pow
8×rem-cube-cbrt rem-exp-log
7×unpow3 associate-+r- unpow-prod-up cube-mult
6×distribute-neg-in
4×distribute-frac-neg pow-sub distribute-neg-frac distribute-rgt-neg-out
3×exp-diff e-exp-1 rem-cbrt-cube
2×distribute-lft-neg-out cos-sum log-rec tan-sum pow-neg
1×exp-neg unsub-neg distribute-rgt-out sqrt-unprod cube-neg rem-log-exp

bsearch3.1s (1.5%)

localize2.7s (1.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...