Details

analyze1.4s (20.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
18.7%	81.1%	0.2%	10
26.5%	71.5%	1.9%	11
28.8%	66%	5.2%	12
32.7%	58.7%	8.5%	13
41.9%	48.4%	9.7%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample50.0ms (0.7%)

Algorithm

1×

intervals

Results

19.0ms	253×	body	128	valid
5.0ms	66×	body	128	invalid
1.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify179.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	400	19
1	400	19

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize18.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (*.f64 (+.f64 y z) 2) t)
0.0b	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
0.0b	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))

rewrite59.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_5573` `add-sqr-sqrt_binary64_5556`
5×	`*-un-lft-identity_binary64_5534` `add-cbrt-cube_binary64_5570` `add-exp-log_binary64_5572` `add-cube-cbrt_binary64_5569` `pow1_binary64_5595`
3×	`flip-+_binary64_5508` `associate-l_binary64_5475` `flip3-+_binary64_5537` `associate-r_binary64_5474`
2×	`associate-*r/_binary64_5476` `+-commutative_binary64_5464` `distribute-rgt-in_binary64_5484` `sum-log_binary64_5625` `distribute-lft-in_binary64_5483` `associate-+l+_binary64_5467`
1×	`cbrt-unprod_binary64_5567` `*-commutative_binary64_5465` `unswap-sqr_binary64_5502` `prod-exp_binary64_5583` `pow-prod-down_binary64_5605`

Counts

3 → 46

Calls

3 calls:

20.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
20.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
13.0ms	(+.f64 (*.f64 (+.f64 y z) 2) t)

series212.0ms (3.1%)

Counts

3 → 9

Calls

3 calls:

95.0ms	(+.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (*.f64 y 5))
82.0ms	(.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))
35.0ms	(+.f64 (*.f64 (+.f64 y z) 2) t)

simplify55.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5106	974

prune123.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	6	56

Merged error: 0.0b

Counts

56 → 6

Compiler

Compiled 1225 to 721 computations (41.1% saved)

localize20.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
0.0b	(.f64 x (.f64 (+.f64 y z) 2))
0.0b	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))

rewrite54.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_5573`
8×	`add-cbrt-cube_binary64_5570` `add-exp-log_binary64_5572` `pow1_binary64_5595`
4×	`*-un-lft-identity_binary64_5534` `sum-log_binary64_5625` `add-sqr-sqrt_binary64_5556` `add-cube-cbrt_binary64_5569`
3×	`flip-+_binary64_5508` `cbrt-unprod_binary64_5567` `associate-l_binary64_5475` `flip3-+_binary64_5537` `prod-exp_binary64_5583` `pow-prod-down_binary64_5605`
2×	`associate-l/_binary64_5477` `associate-r/_binary64_5476` `+-commutative_binary64_5464`
1×	`-commutative_binary64_5465` `associate-r*_binary64_5474` `distribute-lft-out_binary64_5485` `associate-+l+_binary64_5467`

Counts

3 → 45

Calls

3 calls:

20.0ms	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
15.0ms	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
13.0ms	(.f64 x (.f64 (+.f64 y z) 2))

series236.0ms (3.4%)

Counts

3 → 9

Calls

3 calls:

99.0ms	(+.f64 (+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (.f64 x t)) (.f64 y 5))
71.0ms	(+.f64 (.f64 x (.f64 (+.f64 y z) 2)) (*.f64 x t))
65.0ms	(.f64 x (.f64 (+.f64 y z) 2))

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4979	933
1	4979	933

prune104.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	53	7	60

Merged error: 0.0b

Counts

60 → 7

Compiler

Compiled 1216 to 692 computations (43.1% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (*.f64 x t))
0.0b	(+.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (.f64 x t)) (.f64 y 5))
0.3b	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)
32.8b	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3))

rewrite67.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-log-exp_binary64_5573`
10×	`add-cbrt-cube_binary64_5570` `add-exp-log_binary64_5572` `pow1_binary64_5595`
8×	`cbrt-prod_binary64_5565`
6×	`*-un-lft-identity_binary64_5534` `add-sqr-sqrt_binary64_5556` `add-cube-cbrt_binary64_5569`
4×	`associate-l/_binary64_5477` `flip-+_binary64_5508` `associate-r/_binary64_5476` `cube-div_binary64_5563` `flip3-+_binary64_5537` `sum-log_binary64_5625`
3×	`cbrt-unprod_binary64_5567` `pow-pow_binary64_5606` `pow-unpow_binary64_5611` `rem-cube-cbrt_binary64_5557` `pow-exp_binary64_5602` `prod-exp_binary64_5583` `pow-prod-down_binary64_5605`
2×	`cube-mult_binary64_5564` `+-commutative_binary64_5464` `cbrt-div_binary64_5566` `cube-prod_binary64_5562` `sqr-pow_binary64_5506` `unpow-prod-down_binary64_5613` `unpow3_binary64_5600`
1×	`rem-cbrt-cube_binary64_5558` `pow-to-exp_binary64_5603` `associate-+l+_binary64_5467` `pow1/3_binary64_5616`

Counts

4 → 70

Calls

4 calls:

20.0ms	(+.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (.f64 x t)) (.f64 y 5))
16.0ms	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)
14.0ms	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (*.f64 x t))
6.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3))

series368.0ms (5.3%)

Counts

4 → 12

Calls

4 calls:

130.0ms	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)
88.0ms	(+.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (.f64 x t)) (.f64 y 5))
85.0ms	(+.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3)) (*.f64 x t))
64.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 3))

simplify68.0ms (1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5016	1417

prune157.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	82	7	89

Merged error: 0.0b

Counts

89 → 7

Compiler

Compiled 1943 to 1121 computations (42.3% saved)

localize35.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)
0.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)) (cbrt.f64 (.f64 x (*.f64 (+.f64 y z) 2))))
4.3b	(cbrt.f64 (.f64 x (.f64 (+.f64 y z) 2)))
26.7b	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2))

rewrite67.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`cbrt-prod_binary64_5565`
15×	`add-sqr-sqrt_binary64_5556`
12×	`add-exp-log_binary64_5572` `pow1_binary64_5595`
9×	`associate-l_binary64_5475` `*-un-lft-identity_binary64_5534` `add-cube-cbrt_binary64_5569`
6×	`unpow2_binary64_5599` `associate-*r/_binary64_5476`
5×	`pow-prod-down_binary64_5605`
4×	`associate-l/_binary64_5477` `cbrt-div_binary64_5566` `add-cbrt-cube_binary64_5570` `add-log-exp_binary64_5573` `associate-r*_binary64_5474` `sqr-pow_binary64_5506` `unswap-sqr_binary64_5502` `pow1/3_binary64_5616` `prod-exp_binary64_5583`
3×	`pow-pow_binary64_5606` `pow-unpow_binary64_5611` `pow-exp_binary64_5602` `unpow-prod-down_binary64_5613`
2×	`flip-+_binary64_5508` `flip3-+_binary64_5537`
1×	`cbrt-unprod_binary64_5567` `rem-3cbrt-lft_binary64_5559` `*-commutative_binary64_5465` `pow-to-exp_binary64_5603` `pow3_binary64_5617`

Counts

4 → 78

Calls

4 calls:

19.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)) (cbrt.f64 (.f64 x (*.f64 (+.f64 y z) 2))))
14.0ms	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)
12.0ms	(cbrt.f64 (.f64 x (.f64 (+.f64 y z) 2)))
6.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2))

series844.0ms (12.2%)

Counts

4 → 12

Calls

4 calls:

392.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2))
253.0ms	(cbrt.f64 (.f64 x (.f64 (+.f64 y z) 2)))
138.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)) (cbrt.f64 (.f64 x (*.f64 (+.f64 y z) 2))))
60.0ms	(pow.f64 (.f64 x (.f64 (+.f64 y z) 2)) 2)

simplify122.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4933	1662
1	4933	1662

prune219.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	90	7	97

Merged error: 0.0b

Counts

97 → 7

Compiler

Compiled 2764 to 1579 computations (42.9% saved)

regimes367.0ms (5.3%)

Compiler: Compiled 2333 to 1816 computations (22.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	22
1	21	22

end0.0ms (0%)

sample2.0s (28.7%)

Algorithm

1×

intervals

Results

560.0ms	7738×	body	128	valid
143.0ms	1902×	body	128	invalid
42.0ms	132×	body	1024	valid
16.0ms	80×	body	512	valid
7.0ms	50×	body	256	valid

Compiler

Compiled 490 to 382 computations (22% saved)

Details

analyze1.4s (20.2%)

sample50.0ms (0.7%)

simplify179.0ms (2.6%)

prune7.0ms (0.1%)

localize18.0ms (0.3%)

rewrite59.0ms (0.9%)

series212.0ms (3.1%)

simplify55.0ms (0.8%)

prune123.0ms (1.8%)

localize20.0ms (0.3%)

rewrite54.0ms (0.8%)

series236.0ms (3.4%)

simplify85.0ms (1.2%)

prune104.0ms (1.5%)

localize27.0ms (0.4%)

rewrite67.0ms (1%)

series368.0ms (5.3%)

simplify68.0ms (1%)

prune157.0ms (2.3%)

localize35.0ms (0.5%)

rewrite67.0ms (1%)

series844.0ms (12.2%)

simplify122.0ms (1.8%)

prune219.0ms (3.2%)

regimes367.0ms (5.3%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample2.0s (28.7%)

Profiling