Date:Sunday, May 31st, 2020
Commit:d643102f on ival-performance
Hostname:warfa with Racket 7.5
Seed:2020152
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

sample5.2m (44.2%)

Algorithm
539×intervals
Results
1.8m2653988×body80valid
29.0s527905×body80nan
19.7s46987×body1280valid
11.3s42770×body640valid
4.3s24615×body320valid
4.3s5687×body2560valid
1.6s14092×body160valid
189.0ms1070×body640nan
173.0ms823×body1280nan
121.0ms45×body5120valid
84.0ms669×body320nan
83.0ms1542×body80overflowed
30.0ms378×body160nan

prune2.2m (18.4%)

Filtered
55340 candidates to 84916 candidates (-53.4%)

regimes1.8m (15.1%)

Accuracy

Total 215.4b remaining (37.4%)

Threshold costs 25.4b (4.4%)

14.1b55.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.2b-22.3%Linear.Matrix:det44 from linear-1.19.1.3
12.0b49.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.0b57.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.9b-2.6%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

simplify1.2m (9.8%)

Algorithm
1415×egg-herbie

series51.4s (7.3%)

Calls

2505 calls:

741.0ms
(sqrt (* (- y z) (- t x)))
735.0ms
(sqrt (* (- y z) (- t x)))
511.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
369.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
269.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

rewrite23.1s (3.3%)

Algorithm
876×rewrite-expression-head
Calls

2505 calls:

199.0ms
(* 0.5 (- (* x x) y))
89.0ms
(+ x (/ (/ (- y z) (- a z)) (/ 1 t)))
74.0ms
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))) (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))))
69.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
60.0ms
(* (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))
Rules
36624×times-frac
35089×*-un-lft-identity
33042×add-sqr-sqrt
22387×add-cube-cbrt
13126×add-exp-log
8497×add-cbrt-cube
6867×pow1
6011×associate-*r*
5907×cbrt-prod
5228×sqrt-prod
4739×prod-exp
4058×add-log-exp
4029×div-exp
3962×associate-*l*
3806×distribute-lft-out--
3700×difference-of-squares
3289×associate-/r*
2814×distribute-lft-out
2746×flip-- flip3--
2565×associate-*r/
2498×cbrt-unprod
2287×associate-*l/
2199×associate-/l*
2036×pow-prod-down
1953×div-inv
1903×frac-times
1877×associate-/r/
1872×cbrt-div
1837×log-prod
1722×cbrt-undiv
1666×flip-+ flip3-+
1450×distribute-rgt-in distribute-lft-in
1343×sqrt-div
1323×unswap-sqr
1122×pow-exp
958×unpow-prod-down
953×pow1/3
946×swap-sqr
932×1-exp
806×sqrt-pow1
791×frac-sub
770×*-commutative
701×sub-neg
672×associate-/l/
595×sum-log
581×associate-+l+
493×clear-num frac-2neg
468×pow-to-exp
461×associate-+r+
409×associate--l+
389×cube-prod
339×rec-exp
336×+-commutative pow-prod-up
283×pow1/2
279×diff-log
270×log-pow
266×pow-sqr
251×frac-add
190×sqr-pow
170×exp-prod
119×pow-unpow
115×div-sub
107×rem-sqrt-square
106×pow-plus
98×pow2
74×log-div
71×associate--r+
67×unpow2
66×pow-flip
64×exp-sum inv-pow
58×rem-log-exp
50×pow-pow
47×tanh-def
44×distribute-rgt-out--
43×associate-+l-
40×cube-div un-div-inv
30×distribute-rgt-out
26×associate-+r- cube-mult unpow3 rem-exp-log
24×distribute-rgt-neg-out
23×cosh-def
22×rem-cube-cbrt
20×sinh-def
15×sqrt-unprod sub-div
14×rem-square-sqrt exp-to-pow
13×distribute-lft-neg-in distribute-rgt-neg-in
12×unsub-neg rem-cbrt-cube distribute-neg-frac exp-diff
10×associate--l-
9×diff-cos
7×distribute-lft-neg-out sum-cubes
6×cos-diff unpow1/3 associate--r- distribute-rgt1-in
5×neg-mul-1 distribute-lft1-in count-2
4×cos-sum log-rec tan-quot difference-of-sqr-1
3×difference-cubes pow3
2×neg-sub0 sqrt-undiv
1×sqrt-pow2 neg-log cos-mult sin-mult

localize9.7s (1.4%)

bsearch4.0s (0.6%)

end5.0ms (0.0%)

Profiling

Loading profile data...