Date:Wednesday, March 18th, 2020
Commit:7c9a4fcd on better-rr
Hostname:warfa with Racket 7.5
Seed:2020078
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series13.8m (59.2%)

Calls

2231 calls:

29.9s
(/ (+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b))) (* (- x (- (+ y z) (* z (log t)))) (+ a 0.5)))
17.1s
(/ (* z (* y (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
3.8s
(log (/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))))
1.6s
(/ (+ (pow x 3) (pow (* (- y z) (- t x)) 3)) (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x)))
1.4s
(+ (pow x 3) (pow (* (- y z) (- t x)) 3))

prune3.4m (14.6%)

Filtered
41236 candidates to 31867 candidates (77.3%)

sample3.3m (14.3%)

Algorithm
535×intervals
Results
1.2m2568522×body80valid
18.8s475656×body80nan
16.5s45812×body1280valid
9.0s41676×body640valid
3.8s5668×body2560valid
3.6s23616×body320valid
1.2s12811×body160valid
741.0ms1531×body10240exit
105.0ms705×body640nan
100.0ms535×body1280nan
93.0ms39×body5120valid
47.0ms430×body320nan
16.0ms226×body160nan

simplify1.5m (6.6%)

Algorithm
1386×egg-herbie

regimes37.7s (2.7%)

Accuracy

Total 201.7b remaining (37.3%)

Threshold costs 15.6b (2.9%)

13.4b57.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.2b27.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.4b-0.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
7.2b64.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite18.7s (1.3%)

Algorithm
853×rewrite-expression-head
Calls

2235 calls:

550.0ms
(/ (- (+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))) (* (- y) (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))))
291.0ms
(/ (* z (* y (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
152.0ms
(+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))
73.0ms
(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
67.0ms
(* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z)))))
Rules
24710×associate-*r/
20918×frac-times
17419×frac-sub
15801×frac-add
13088×flip--
13087×flip3--
9583×associate-*l/
8956×associate-/r*
7384×clear-num
6900×frac-2neg
6512×*-commutative
6322×associate-/l/
6258×associate-/r/
6182×tanh-def
3577×distribute-neg-frac
3089×flip-+ flip3-+
1618×div-inv
1333×associate-/l*
1178×distribute-rgt-in distribute-lft-in
1063×associate-*r*
942×sub-neg
932×+-commutative
925×associate-*l*
888×sqrt-div
857×difference-of-squares
571×associate-+r+
521×un-div-inv
490×associate-+l+
397×times-frac
382×sqr-pow
351×associate--l+
229×div-sub
150×associate--r+
130×neg-mul-1
122×exp-sum
105×inv-pow
103×distribute-rgt-out--
94×log-div
85×distribute-rgt-out
82×difference-cubes
76×sub-div distribute-rgt-neg-out
74×distribute-lft-out neg-sub0
73×associate-+r-
72×sum-cubes
65×remove-double-div
63×swap-sqr
62×associate-+l-
60×exp-neg unpow2 pow2
56×distribute-lft-out--
55×log-prod
50×exp-diff unpow-prod-down
47×pow1/2
45×pow-to-exp
40×distribute-rgt-neg-in
37×sinh-def unsub-neg associate--l-
36×sqrt-prod unpow3 cosh-def
35×unswap-sqr
32×distribute-lft-neg-in
23×distribute-neg-in
21×log-rec
19×distribute-frac-neg
18×associate--r-
17×pow-prod-down
14×unpow-prod-up
10×distribute-lft-neg-out pow-sub
8×difference-of-sqr-1 sum-log cos-mult prod-exp
7×sin-mult
6×pow-prod-up pow-sqr exp-prod pow-exp
5×pow-pow
4×sin-neg sqrt-unprod rem-square-sqrt
3×diff-log pow-unpow distribute-lft1-in distribute-rgt1-in cos-diff diff-cos count-2 pow-flip sqrt-undiv sin-diff
2×distribute-neg-out tan-quot sin-sum +-inverses *-inverses cos-sum mul-1-neg
1×sub0-neg sin-cos-mult sqrt-pow2 sum-sin neg-log sin-2 log-pow pow-plus div-exp sum-cos cube-neg

bsearch9.7s (0.7%)

localize9.0s (0.6%)

end5.0ms (0.0%)