Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series15.1m (57.3%)

Calls

2437 calls:

16.2s
(* (* y z) (/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y))))))
7.4s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
7.1s
(fma (- (* c a) (* y i)) j (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.9s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.5s
(/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (fma (tanh (/ x y)) (+ (tanh (/ t y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ t y)))))

prune4.9m (18.6%)

sample3.5m (13.5%)

Algorithm
538×intervals
Results
1.3m2584239×body80valid
21.7s518680×body80nan
17.8s47118×body1280valid
9.8s43010×body640valid
4.1s5393×body2560valid
3.8s24890×body320valid
1.4s13841×body160valid
777.0ms1540×body10240exit
117.0ms43×body5120valid
107.0ms691×body640nan
88.0ms469×body1280nan
47.0ms420×body320nan
15.0ms216×body160nan

simplify1.4m (5.4%)

Algorithm
1437×egg-herbie

regimes43.4s (2.7%)

Accuracy

Total 186.0b remaining (37.8%)

Threshold costs 22.9b (4.7%)

14.5b53.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b53.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.0b28.8%Development.Shake.Progress:decay from shake-0.15.5
7.9b-0.4%Linear.Matrix:det33 from linear-1.19.1.3
7.7b17.8%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite25.0s (1.6%)

Algorithm
900×rewrite-expression-head
Calls

2439 calls:

236.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
186.0ms
(* (fma (/ (* x y) 2.0) (- (/ (* x y) 2.0) 1.0) (* 1.0 1.0)) (+ (- (/ y (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))) (/ y (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))))
169.0ms
(/ x (* (/ (* (cbrt y) (cbrt y)) (/ (pow (/ (sqrt 1) (* (cbrt a) (cbrt a))) 1.0) (* (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))) (/ (cbrt y) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))))
118.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (fma (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y))) (* 1.0 1.0)))
107.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
76493×times-frac
61781×*-un-lft-identity
58767×add-sqr-sqrt
43171×add-cube-cbrt
13498×sqrt-prod
12337×prod-diff
10837×add-exp-log
7791×add-cbrt-cube
6421×difference-of-squares
6068×pow1
5574×cbrt-prod
5254×cbrt-div
5080×distribute-lft-out--
4893×associate-*r*
4553×distribute-lft-out
4106×associate-/r*
3652×associate-*l*
3615×unpow-prod-down
3573×flip-- flip3--
3525×div-inv
3450×associate-*r/
3382×add-log-exp
3264×frac-times
3131×distribute-rgt-in distribute-lft-in
3029×div-exp
2794×associate-/l* prod-exp
2444×expm1-log1p-u
2441×log1p-expm1-u
2438×associate-/r/
2283×associate-*l/
2069×cbrt-unprod
1998×cube-prod
1731×cbrt-undiv
1484×pow-prod-down
1341×log-prod
1182×flip-+ flip3-+ unswap-sqr
968×sqrt-div
955×fma-def
915×pow1/3
822×sqr-pow
726×log-pow
722×swap-sqr
673×frac-sub
660×associate--l+
634×fma-neg
620×*-commutative
601×associate-+l+
567×fma-udef
566×associate-/l/
508×clear-num frac-2neg
492×sqrt-pow1
460×sub-neg
456×exp-sum
448×exp-prod
397×associate-+r+
303×1-exp
297×associate--r+
291×pow-exp
290×pow-prod-up sum-log
276×pow1/2
269×rec-exp
224×diff-log
216×distribute-rgt-out
215×pow-sqr
193×distribute-lft-neg-in
179×pow-to-exp
178×unpow3 cube-mult
175×pow-unpow
168×+-commutative
146×unpow2
126×distribute-rgt-neg-in
108×div-sub
94×pow-plus
91×pow2
87×pow-flip
79×rem-sqrt-square
78×frac-add
76×pow-pow
72×inv-pow
65×cube-div
62×rem-log-exp
60×log-div
43×hypot-def tanh-def
40×difference-cubes
39×distribute-rgt-neg-out
33×un-div-inv
27×sum-cubes sinh-def
26×rem-cube-cbrt neg-mul-1
24×rem-exp-log
23×distribute-lft-neg-out cos-sum
20×unpow1/3 sqrt-unprod
16×distribute-lft1-in cosh-def
15×unsub-neg rem-square-sqrt
14×associate-+l-
11×associate-+r-
10×rem-cbrt-cube
9×hypot-udef
8×expm1-log1p expm1-udef tan-quot associate--r- distribute-rgt-out--
7×log1p-udef log1p-expm1 sub-div
6×exp-diff associate--l- diff-cos
5×sqrt-undiv distribute-rgt1-in count-2
4×sin-mult
3×cos-diff exp-to-pow
2×exp-neg unpow-prod-up neg-sub0 mul-1-neg
1×sqrt-pow2 pow3 unpow1/2 distribute-frac-neg neg-log cos-mult distribute-neg-frac log-rec

localize10.1s (0.6%)

bsearch4.3s (0.3%)

end6.0ms (0.0%)