Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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 (36.9%)

Algorithm
60×intervals
Results
30.9s335740×body80valid
11.3s202287×body80nan
8.2s21363×body1280valid
3.2s5243×body2560valid
3.0s10912×body640valid
1.7s3244×body2560nan
1.0s5256×body320valid
914.0ms2644×body1280nan
682.0ms16512×pre80true
333.0ms2432×body160valid
326.0ms1315×body640nan
111.0ms622×body320nan
89.0ms309×body5120exit
77.0ms219×body5120valid
44.0ms351×body160nan

prune1.1m (28.4%)

Filtered
19576 candidates to 12803 candidates (65.4%)

series42.7s (18.9%)

Calls

340 calls:

773.0ms
(* (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))))
579.0ms
(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
526.0ms
(/ (+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* t (+ b c)))
499.0ms
(+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))))))
490.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))

regimes13.7s (6.1%)

Accuracy

Total 41.1b remaining (26.1%)

Threshold costs 3.4b (2.2%)

12.7b-16.2%Linear.Matrix:det44 from linear-1.19.1.3
6.5b3.3%Linear.Matrix:det33 from linear-1.19.1.3
3.3b87.5%NMSE problem 3.2.1
2.6b-2.7%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.4b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify10.2s (4.5%)

Algorithm
159×egg-herbie

rewrite5.5s (2.5%)

Algorithm
99×rewrite-expression-head
Calls

340 calls:

193.0ms
(/ (/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
120.0ms
(/ (/ 1 (cbrt (/ (- (acos a)) a))) (cbrt (/ (- (acos a)) a)))
52.0ms
(/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
46.0ms
(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (/ 1 (cbrt (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
45.0ms
(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
Rules
32992×times-frac
18333×add-sqr-sqrt
16547×*-un-lft-identity
13844×add-cube-cbrt
8349×cbrt-prod
6598×sqrt-prod
2329×distribute-rgt-neg-in
2303×distribute-lft-neg-in
2236×add-exp-log
2074×difference-of-squares
1376×associate-/l*
1197×add-cbrt-cube
1163×distribute-lft-out--
1012×prod-exp
852×pow1
763×associate-*r*
758×neg-mul-1
612×frac-times
601×div-inv
534×div-exp
529×add-log-exp
522×associate-*r/
488×flip3-- flip--
444×associate-*l*
398×cbrt-unprod
397×associate-*l/
334×cbrt-div
309×associate-/r*
252×pow-exp
251×flip-+ flip3-+
241×unpow-prod-down
240×associate-/r/
236×pow-prod-down
225×distribute-lft-out
224×exp-prod
199×log-prod
194×cbrt-undiv
182×sqrt-div
173×distribute-rgt-in distribute-lft-in
156×pow-to-exp
141×frac-add unswap-sqr
138×log-pow
134×distribute-neg-frac
119×sub-neg
118×*-commutative
114×associate-/l/
113×frac-sub
71×associate-+r+
67×1-exp
66×rec-exp
63×clear-num frac-2neg
60×pow1/3
55×diff-log sum-log
54×associate-+l+
46×sqr-pow
37×sqrt-pow1
36×pow1/2
34×sin-mult
32×rem-sqrt-square
29×un-div-inv exp-sum
28×+-commutative cos-mult
25×associate-+l-
23×neg-sub0
22×tan-quot
19×swap-sqr
18×pow-flip associate--r+
17×sub-div
16×log-div
15×inv-pow
14×div-sub neg-log
10×associate--l+
9×associate--l-
8×rem-exp-log distribute-frac-neg
7×exp-diff pow-unpow
6×log-rec
5×unpow3 associate-+r- pow-sqr cube-mult cube-prod pow-prod-up unpow2
4×distribute-lft-neg-out exp-neg distribute-rgt-neg-out rem-log-exp
3×pow-div pow-pow pow2 pow-plus
2×cube-div cos-sum distribute-neg-in unsub-neg tan-sum exp-to-pow
1×sqrt-unprod rem-cbrt-cube

bsearch3.5s (1.6%)

localize2.6s (1.2%)

end0.0ms (0.0%)