Details

analyze1.6s (8.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4965	496
1	4965	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample28.0ms (0.1%)

Algorithm

1×

intervals

Results

14.0ms

256×

body

128

valid

Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify93.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5141	31

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

27.7b

Counts

2 → 1

Compiler

Compiled 42 to 31 computations (26.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 t y) a)
1.2b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
2.0b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
26.1b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite157.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

27.6b

Rules

38×	`*-un-lft-identity_binary64_22243`
18×	`add-sqr-sqrt_binary64_22265`
16×	`add-cube-cbrt_binary64_22278`
15×	`times-frac_binary64_22249`
13×	`distribute-lft-out_binary64_22194`
11×	`add-log-exp_binary64_22282`
10×	`associate-*l/_binary64_22186`
8×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
7×	`flip3-+_binary64_22246` `flip-+_binary64_22217`
6×	`pow1_binary64_22304`
5×	`associate-/r*_binary64_22187`
4×	`frac-add_binary64_22251` `associate-l_binary64_22184`
3×	`associate-/l_binary64_22188` `associate-r*_binary64_22183`
2×	`flip3--_binary64_22247` `associate-/l/_binary64_22190` `flip--_binary64_22218` `associate-/r/_binary64_22189` `sum-log_binary64_22334` `diff-log_binary64_22335`
1×	`div-exp_binary64_22294` `cbrt-undiv_binary64_22277` `frac-2neg_binary64_22254` `div-sub_binary64_22248` `clear-num_binary64_22242` `div-inv_binary64_22240` `sub-neg_binary64_22236` `cancel-sign-sub-inv_binary64_22209` `associate--l+_binary64_22180` `+-commutative_binary64_22173` `pow-prod-down_binary64_22314` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276` `unswap-sqr_binary64_22211` `*-commutative_binary64_22174`

Counts

4 → 90

Calls

4 calls:

16.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
15.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
6.0ms	(*.f64 (+.f64 t y) a)

Compiler

Compiled 3256 to 447 computations (86.3% saved)

series1.8s (9.5%)

Error

6.1b

Counts

4 → 123

Calls

4 calls:

903.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
439.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
292.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
85.0ms	(*.f64 (+.f64 t y) a)

Compiler

Compiled 9756 to 4782 computations (51% saved)

simplify67.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5047	6527

prune194.0ms (1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	197	16	213
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	198	16	214

Error

6.0b

Counts

214 → 16

Compiler

Compiled 6515 to 977 computations (85% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
1.0b	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))
2.3b	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
26.1b	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))

rewrite319.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

6.0b

Rules

156×	`*-un-lft-identity_binary64_22243`
150×	`times-frac_binary64_22249`
76×	`add-cube-cbrt_binary64_22278` `add-sqr-sqrt_binary64_22265`
48×	`distribute-lft-out_binary64_22194`
31×	`associate-/r/_binary64_22189`
28×	`associate-/r*_binary64_22187`
24×	`associate-*r/_binary64_22185` `frac-add_binary64_22251`
19×	`flip3-+_binary64_22246` `flip-+_binary64_22217`
17×	`add-exp-log_binary64_22281`
13×	`flip3--_binary64_22247` `flip--_binary64_22218`
11×	`add-log-exp_binary64_22282` `add-cbrt-cube_binary64_22279`
8×	`div-exp_binary64_22294` `associate-/l*_binary64_22188`
6×	`div-inv_binary64_22240`
5×	`pow1_binary64_22304`
4×	`cbrt-undiv_binary64_22277` `associate-+r+_binary64_22175` `associate--l+_binary64_22180`
3×	`distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192`
2×	`frac-2neg_binary64_22254` `clear-num_binary64_22242` `associate-/l/_binary64_22190` `diff-log_binary64_22335` `sum-log_binary64_22334` `associate-+l+_binary64_22176` `sub-neg_binary64_22236` `cancel-sign-sub-inv_binary64_22209` `1-exp_binary64_22287` `rec-exp_binary64_22293`
1×	`associate-+r-_binary64_22177` `+-commutative_binary64_22173` `inv-pow_binary64_22328` `pow-flip_binary64_22317`

Counts

4 → 204

Calls

4 calls:

22.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
19.0ms	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
12.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
7.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 10040 to 1541 computations (84.7% saved)

series3.4s (17.6%)

Error

6.0b

Counts

4 → 136

Calls

4 calls:

1.7s	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
881.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
444.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
208.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 17791 to 9125 computations (48.7% saved)

simplify143.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

340 → 340

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5065	17145

prune389.0ms (2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	333	7	340
Fresh	4	11	15
Picked	0	1	1
Done	0	0	0
Total	337	19	356

Error

6.0b

Counts

356 → 19

Compiler

Compiled 14290 to 2610 computations (81.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))
1.3b	(/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
2.3b	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
24.6b	(/.f64 (/.f64 1 (+.f64 t (+.f64 x y))) (/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))

rewrite1.1s (6%)

Algorithm

1×	rewrite-expression-head

Error

6.0b

Rules

906×	`times-frac_binary64_22249`
646×	`*-un-lft-identity_binary64_22243`
346×	`add-cube-cbrt_binary64_22278` `add-sqr-sqrt_binary64_22265`
180×	`distribute-lft-out_binary64_22194`
179×	`associate-/r/_binary64_22189`
96×	`associate-*r/_binary64_22185` `frac-add_binary64_22251`
92×	`flip3-+_binary64_22246` `flip-+_binary64_22217`
49×	`flip3--_binary64_22247` `flip--_binary64_22218`
48×	`add-exp-log_binary64_22281`
44×	`div-inv_binary64_22240`
34×	`div-exp_binary64_22294`
24×	`associate-/l*_binary64_22188`
22×	`associate-/r*_binary64_22187`
18×	`add-cbrt-cube_binary64_22279`
11×	`add-log-exp_binary64_22282`
9×	`1-exp_binary64_22287` `rec-exp_binary64_22293` `cbrt-undiv_binary64_22277`
5×	`pow1_binary64_22304`
4×	`associate-+r+_binary64_22175` `associate--l+_binary64_22180`
3×	`distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192`
2×	`frac-2neg_binary64_22254` `clear-num_binary64_22242` `diff-log_binary64_22335` `sum-log_binary64_22334` `associate-+l+_binary64_22176` `sub-neg_binary64_22236` `cancel-sign-sub-inv_binary64_22209`
1×	`associate-/l/_binary64_22190` `associate-+r-_binary64_22177` `+-commutative_binary64_22173` `inv-pow_binary64_22328` `pow-flip_binary64_22317`

Counts

4 → 545

Calls

4 calls:

35.0ms	(/.f64 (/.f64 1 (+.f64 t (+.f64 x y))) (/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
18.0ms	(/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
13.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
6.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 33401 to 7855 computations (76.5% saved)

series2.1s (11%)

Error

6.0b

Counts

4 → 128

Calls

4 calls:

867.0ms	(/.f64 (/.f64 1 (+.f64 t (+.f64 x y))) (/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
490.0ms	(/.f64 1 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
438.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
195.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 12349 to 6730 computations (45.5% saved)

simplify331.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

673 → 673

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5677	45146

prune1.0s (5.4%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	671	2	673
Fresh	2	15	17
Picked	0	1	1
Done	0	1	1
Total	673	19	692

Error

6.0b

Counts

692 → 19

Compiler

Compiled 33620 to 7542 computations (77.6% saved)

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

6.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series2.0ms (0%)

Error: 6.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms (0%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	16	16
Picked	1	1
Done	2	2
Total	19	19

Error

6.0b

Counts

19 → 19

Compiler

Compiled 0 to 0 computations (0% saved)

regimes3.5s (18.2%)

Accuracy

Total 2.9b remaining (38.5%)

Threshold costs 0b (0%)

Compiler

Compiled 23473 to 14593 computations (37.8% saved)

bsearch7.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	121
1	78	121

end0.0ms (0%)

sample2.8s (14.8%)

Algorithm

1×

intervals

Results

643.0ms	7997×	body	128	valid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 3495 to 2133 computations (39% saved)

Details

analyze1.6s (8.2%)

sample28.0ms (0.1%)

simplify93.0ms (0.5%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite157.0ms (0.8%)

series1.8s (9.5%)

simplify67.0ms (0.4%)

prune194.0ms (1%)

localize17.0ms (0.1%)

rewrite319.0ms (1.7%)

series3.4s (17.6%)

simplify143.0ms (0.7%)

prune389.0ms (2%)

localize16.0ms (0.1%)

rewrite1.1s (6%)

series2.1s (11%)

simplify331.0ms (1.7%)

prune1.0s (5.4%)

localize4.0ms (0%)

rewrite0.0ms (0%)

series2.0ms (0%)

simplify6.0ms (0%)

prune1.0ms (0%)

regimes3.5s (18.2%)

bsearch7.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.8s (14.8%)

Profiling