Date:Tuesday, June 9th, 2020
Commit:c3d6c186 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020161
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample4.8min (32.5%)

Algorithm
538×intervals
Results
1.8min2645444×body80valid
28.7s451694×body80nan
19.7s47306×body1280valid
13.0s47764×body640valid
4.7s26289×body320valid
4.4s5815×body2560valid
1.7s14282×body160valid
180.0ms876×body1280nan
173.0ms1004×body640nan
124.0ms47×body5120valid
86.0ms653×body320nan
84.0ms1555×body80overflowed
30.0ms370×body160nan

series3.5min (23.5%)

Calls

2574 calls:

1.4min
(+ (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))) (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))))
2.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.3s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

prune2.9min (19.6%)

Filtered
91296 candidates to 60233 candidates (34.0%)

regimes1.7min (11.4%)

Accuracy

Total 220.3b remaining (38.2%)

Threshold costs 20.4b (3.5%)

14.4b53.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.6b-24.8%Linear.Matrix:det44 from linear-1.19.1.3
10.1b57%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.2b9.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.0b30.9%Numeric.Signal:interpolate from hsignal-0.2.7.1

simplify1.3min (8.7%)

Algorithm
1435×egg-herbie

rewrite24.9s (2.8%)

Algorithm
898×rewrite-expression-head
Calls

2575 calls:

183.0ms
(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
133.0ms
(* (/ x (* (cbrt y) (cbrt y))) (/ (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))) (cbrt y)))
120.0ms
(/ (/ 1 (* (cbrt z) (cbrt z))) (/ (/ (- y t) 2.0) (/ x (cbrt z))))
108.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
102.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
Rules
49317×times-frac
39830×*-un-lft-identity
39258×add-sqr-sqrt
26676×add-cube-cbrt
11718×add-exp-log
9019×associate-*r/
9002×add-cbrt-cube
8205×cbrt-prod
7442×associate-*r*
7327×cbrt-div
7308×pow1
5214×frac-times
4409×distribute-lft-out--
4342×difference-of-squares
4291×associate-*l*
4272×frac-sub
4098×sqrt-prod
3975×add-log-exp
3590×associate-/r*
3482×prod-exp
2806×flip-- flip3--
2778×cbrt-unprod
2699×div-inv
2697×div-exp
2651×tanh-def
2355×distribute-lft-out
2203×pow-prod-down
2047×associate-*l/
1936×associate-/l*
1932×flip-+ flip3-+
1816×associate-/r/
1792×cbrt-undiv
1617×unswap-sqr
1609×log-prod
1596×sqrt-div
1423×unpow-prod-down
1338×distribute-rgt-in distribute-lft-in
1005×sqrt-pow1
884×pow1/3
843×*-commutative
834×swap-sqr
705×sub-neg
534×cube-prod
518×associate-/l/
480×clear-num frac-2neg
477×associate-+l+
476×sum-log
470×pow1/2
422×associate-+r+
400×pow-prod-up
393×frac-add
357×1-exp
355×rec-exp
326×associate--l+
311×sqr-pow
301×+-commutative
298×diff-log
280×pow-sqr
190×log-pow
140×pow-exp
134×exp-sum
119×div-sub
117×rem-sqrt-square
112×pow-unpow
102×pow-plus
96×pow2
90×pow-to-exp
80×unpow2
77×cube-div
76×exp-prod
74×pow-pow
69×pow-flip
62×inv-pow
61×log-div
59×associate--r+
58×rem-log-exp
51×distribute-lft-neg-out
46×cosh-def distribute-rgt-neg-out
45×log-rec
42×un-div-inv
36×unpow3
34×associate-+r- unsub-neg distribute-rgt-out--
33×sqrt-unprod exp-diff
32×sinh-def cube-mult
31×associate-+l-
27×distribute-lft-neg-in rem-square-sqrt distribute-rgt-neg-in
24×distribute-rgt-out
22×rem-cube-cbrt
15×rem-exp-log
14×distribute-neg-out
13×difference-cubes neg-mul-1 associate--r-
12×associate--l- distribute-neg-frac
11×unpow1/3
9×sum-cubes rem-cbrt-cube
8×distribute-lft1-in
7×sub-div tan-quot
6×distribute-rgt1-in
5×sqrt-pow2 count-2
3×cos-diff
2×cos-sum sqrt-undiv diff-cos exp-to-pow cos-mult sin-mult
1×neg-sub0 mul-1-neg neg-log distribute-frac-neg

localize9.4s (1.1%)

bsearch3.4s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...