Details

analyze420.0ms (9.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.2%	10.3%	12
55%	30%	15%	13
59.5%	25.3%	15.3%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample20.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	236×	body	128	valid
2.0ms	11×	body	1024	valid
1.0ms	6×	body	512	valid
0.0ms	13×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify435.0ms (9.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (262.0ms)

Iter	Nodes	Cost
0	2399	16
1	2399	16

prune6.0ms (0.1%)

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

Merged error: 0.3b

Counts

2 → 1

Compiler

Compiled 48 to 44 computations (8.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z)))
0.0b	(-.f64 (/.f64 2 3) z)
0.0b	(*.f64 (-.f64 y x) 6)
0.3b	(.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z))

rewrite59.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_10077`
18×	`*-un-lft-identity_binary64_10055`
15×	`cancel-sign-sub-inv_binary64_10021`
12×	`add-cube-cbrt_binary64_10090`
11×	`add-exp-log_binary64_10093` `pow1_binary64_10116` `add-cbrt-cube_binary64_10091`
10×	`associate-*l/_binary64_9998`
9×	`associate-r_binary64_9995`
8×	`distribute-rgt-in_binary64_10005` `distribute-lft-in_binary64_10004` `flip--_binary64_10030` `add-log-exp_binary64_10094` `flip3--_binary64_10059` `associate-+r+_binary64_9987`
6×	`associate-l_binary64_9996`
5×	`difference-of-squares_binary64_10024` `sub-neg_binary64_10048`
4×	`cbrt-unprod_binary64_10088` `pow-prod-down_binary64_10126` `frac-times_binary64_10065` `prod-exp_binary64_10104`
3×	`distribute-lft-out--_binary64_10007`
2×	`times-frac_binary64_10061` `-commutative_binary64_9986` `associate-r/_binary64_9997`
1×	`flip3-+_binary64_10058` `diff-log_binary64_10147` `unswap-sqr_binary64_10023` `+-commutative_binary64_9985` `sum-log_binary64_10146` `flip-+_binary64_10029`

Counts

4 → 95

Calls

4 calls:

21.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z))
12.0ms	(*.f64 (-.f64 y x) 6)
10.0ms	(-.f64 (/.f64 2 3) z)
7.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z)))

series254.0ms (5.8%)

Counts

4 → 12

Calls

4 calls:

99.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z)))
78.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 (/.f64 2 3) z))
48.0ms	(*.f64 (-.f64 y x) 6)
28.0ms	(-.f64 (/.f64 2 3) z)

simplify87.0ms (2%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4999	1515
1	4999	1515

prune335.0ms (7.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	98	9	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	9	108

Merged error: 0.0b

Counts

108 → 9

Compiler

Compiled 5511 to 3960 computations (28.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y x) 4))
0.0b	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
0.0b	(*.f64 (-.f64 y x) 6)
0.2b	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))

rewrite39.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`associate-l_binary64_9996`
13×	`add-sqr-sqrt_binary64_10077`
11×	`*-un-lft-identity_binary64_10055` `add-exp-log_binary64_10093` `add-log-exp_binary64_10094` `pow1_binary64_10116` `add-cbrt-cube_binary64_10091`
9×	`add-cube-cbrt_binary64_10090`
8×	`associate-*l/_binary64_9998`
6×	`associate-*r/_binary64_9997`
4×	`flip3-+_binary64_10058` `cbrt-unprod_binary64_10088` `flip--_binary64_10030` `pow-prod-down_binary64_10126` `flip3--_binary64_10059` `sum-log_binary64_10146` `flip-+_binary64_10029` `associate-r_binary64_9995` `prod-exp_binary64_10104` `frac-add_binary64_10063`
3×	`distribute-lft-neg-in_binary64_10012` `distribute-rgt-neg-in_binary64_10013`
2×	`distribute-lft-neg-out_binary64_10014` `*-commutative_binary64_9986` `+-commutative_binary64_9985`
1×	`difference-of-squares_binary64_10024` `unswap-sqr_binary64_10023` `associate-+l+_binary64_9988` `distribute-lft-out--_binary64_10007` `neg-mul-1_binary64_10051` `unsub-neg_binary64_10049`

Counts

4 → 79

Calls

4 calls:

10.0ms	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))
10.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
8.0ms	(*.f64 (-.f64 y x) 6)
4.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))

series274.0ms (6.3%)

Counts

4 → 12

Calls

4 calls:

96.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
89.0ms	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))
50.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))
40.0ms	(*.f64 (-.f64 y x) 6)

simplify107.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4943	1542
1	4943	1542

prune231.0ms (5.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	85	6	91
Fresh	6	2	8
Picked	0	1	1
Done	0	0	0
Total	91	9	100

Merged error: 0.0b

Counts

100 → 9

Compiler

Compiled 4410 to 2714 computations (38.5% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 4 (*.f64 z -6))
0.0b	(+.f64 x (.f64 (-.f64 y x) (+.f64 4 (.f64 z -6))))
0.1b	(.f64 (-.f64 y x) (+.f64 4 (.f64 z -6)))

rewrite22.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_10077`
7×	`*-un-lft-identity_binary64_10055` `add-log-exp_binary64_10094`
5×	`flip3-+_binary64_10058` `associate-l_binary64_9996` `add-exp-log_binary64_10093` `flip-+_binary64_10029` `pow1_binary64_10116` `add-cbrt-cube_binary64_10091` `add-cube-cbrt_binary64_10090`
4×	`frac-times_binary64_10065`
3×	`flip--_binary64_10030` `flip3--_binary64_10059` `associate-r_binary64_9995`
2×	`distribute-rgt-in_binary64_10005` `associate-l/_binary64_9998` `distribute-lft-in_binary64_10004` `+-commutative_binary64_9985` `sum-log_binary64_10146` `associate-r/_binary64_9997` `associate-+r+_binary64_9987`
1×	`difference-of-squares_binary64_10024` `cbrt-unprod_binary64_10088` `pow-prod-down_binary64_10126` `unswap-sqr_binary64_10023` `*-commutative_binary64_9986` `distribute-lft-out--_binary64_10007` `prod-exp_binary64_10104`

Counts

3 → 54

Calls

3 calls:

10.0ms	(.f64 (-.f64 y x) (+.f64 4 (.f64 z -6)))
5.0ms	(+.f64 x (.f64 (-.f64 y x) (+.f64 4 (.f64 z -6))))
3.0ms	(+.f64 4 (*.f64 z -6))

series214.0ms (4.9%)

Counts

3 → 9

Calls

3 calls:

94.0ms	(+.f64 x (.f64 (-.f64 y x) (+.f64 4 (.f64 z -6))))
76.0ms	(.f64 (-.f64 y x) (+.f64 4 (.f64 z -6)))
43.0ms	(+.f64 4 (*.f64 z -6))

simplify78.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4956	1128
1	4956	1128

prune98.0ms (2.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	63	9	72

Merged error: 0.0b

Counts

72 → 9

Compiler

Compiled 1817 to 1165 computations (35.9% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y x) 4))
0.0b	(*.f64 z (-.f64 x y))
0.0b	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 z (-.f64 x y)) 6))
0.3b	(.f64 (.f64 z (-.f64 x y)) 6)

rewrite38.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_10077`
11×	`*-un-lft-identity_binary64_10055` `add-exp-log_binary64_10093` `add-log-exp_binary64_10094` `pow1_binary64_10116` `add-cbrt-cube_binary64_10091`
9×	`add-cube-cbrt_binary64_10090`
8×	`associate-r/_binary64_9997` `associate-r*_binary64_9995`
6×	`cancel-sign-sub-inv_binary64_10021` `associate-*l/_binary64_9998`
4×	`flip3-+_binary64_10058` `distribute-rgt-in_binary64_10005` `associate-l_binary64_9996` `cbrt-unprod_binary64_10088` `distribute-lft-in_binary64_10004` `flip--_binary64_10030` `pow-prod-down_binary64_10126` `flip3--_binary64_10059` `sum-log_binary64_10146` `flip-+_binary64_10029` `prod-exp_binary64_10104` `frac-add_binary64_10063`
2×	`*-commutative_binary64_9986` `sub-neg_binary64_10048` `+-commutative_binary64_9985`
1×	`difference-of-squares_binary64_10024` `unswap-sqr_binary64_10023` `associate-+l+_binary64_9988` `distribute-lft-out--_binary64_10007`

Counts

4 → 78

Calls

4 calls:

9.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 z (-.f64 x y)) 6))
9.0ms	(.f64 (.f64 z (-.f64 x y)) 6)
8.0ms	(*.f64 z (-.f64 x y))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))

series301.0ms (6.9%)

Counts

4 → 12

Calls

4 calls:

97.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 z (-.f64 x y)) 6))
88.0ms	(.f64 (.f64 z (-.f64 x y)) 6)
64.0ms	(*.f64 z (-.f64 x y))
51.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))

simplify334.0ms (7.6%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5016	1613

prune125.0ms (2.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	90	9	99

Merged error: 0.0b

Counts

99 → 9

Compiler

Compiled 2709 to 1407 computations (48.1% saved)

regimes69.0ms (1.6%)

Compiler: Compiled 672 to 495 computations (26.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	16
1	25	16

end0.0ms (0%)

sample795.0ms (18.1%)

Algorithm

1×

intervals

Results

279.0ms	7348×	body	128	valid
36.0ms	244×	body	1024	valid
29.0ms	256×	body	512	valid
26.0ms	633×	body	128	invalid
10.0ms	152×	body	256	valid

Compiler

Compiled 247 to 185 computations (25.1% saved)

Details

analyze420.0ms (9.6%)

sample20.0ms (0.5%)

simplify435.0ms (9.9%)

prune6.0ms (0.1%)

localize10.0ms (0.2%)

rewrite59.0ms (1.3%)

series254.0ms (5.8%)

simplify87.0ms (2%)

prune335.0ms (7.6%)

localize10.0ms (0.2%)

rewrite39.0ms (0.9%)

series274.0ms (6.3%)

simplify107.0ms (2.4%)

prune231.0ms (5.3%)

localize8.0ms (0.2%)

rewrite22.0ms (0.5%)

series214.0ms (4.9%)

simplify78.0ms (1.8%)

prune98.0ms (2.2%)

localize11.0ms (0.3%)

rewrite38.0ms (0.9%)

series301.0ms (6.9%)

simplify334.0ms (7.6%)

prune125.0ms (2.8%)

regimes69.0ms (1.6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample795.0ms (18.1%)

Profiling