Details

analyze1.6s (18.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5034	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
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample41.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	255×	body	128	valid
7.0ms	129×	body	128	invalid
0.0ms	1×	body	256	valid

Compiler

Compiled 43 to 45 computations (-4.7% saved)

simplify116.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4954	31
1	4954	31

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
0.0b	(*.f64 (-.f64 (+.f64 y t) 2) b)
0.0b	(*.f64 (-.f64 y 1) z)
0.0b	(*.f64 (-.f64 t 1) a)

rewrite162.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-sqr-sqrt_binary64_782`
21×	`*-un-lft-identity_binary64_760`
20×	`associate-l_binary64_701`
10×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `add-cube-cbrt_binary64_795` `associate-*l/_binary64_703`
9×	`add-log-exp_binary64_799` `associate-r_binary64_700`
8×	`flip3--_binary64_764` `flip--_binary64_735`
5×	`difference-of-squares_binary64_729`
4×	`distribute-lft-out--_binary64_712` `frac-sub_binary64_769`
3×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `unswap-sqr_binary64_728` `*-commutative_binary64_691` `diff-log_binary64_852`
2×	`difference-of-sqr-1_binary64_730` `sub-neg_binary64_753` `cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697`
1×	`distribute-lft-out_binary64_711` `associate--l-_binary64_698`

Counts

4 → 91

Calls

4 calls:

9.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
8.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
7.0ms	(*.f64 (-.f64 t 1) a)
7.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 2786 to 1690 computations (39.3% saved)

series564.0ms (6.8%)

Error

0.0b

Counts

4 → 63

Calls

4 calls:

261.0ms	(-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a))
112.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
68.0ms	(*.f64 (-.f64 t 1) a)
61.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 3198 to 2260 computations (29.3% saved)

simplify65.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5074	2108

prune175.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	150	4	154
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	150	5	155

Error

0.0b

Counts

155 → 5

Compiler

Compiled 3887 to 1850 computations (52.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite107.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2400 to 1114 computations (53.6% saved)

series342.0ms (4.1%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

93.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
84.0ms	(cbrt.f64 z)
77.0ms	(cbrt.f64 z)
73.0ms	(cbrt.f64 z)

Compiler

Compiled 1095 to 843 computations (23% saved)

simplify81.0ms (1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune114.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	84	6	90

Error

0.0b

Counts

90 → 6

Compiler

Compiled 2714 to 1417 computations (47.8% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (*.f64 z y) z)))
0.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))
0.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))
0.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))

rewrite150.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
18×	`cbrt-div_binary64_792`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842` `flip3--_binary64_764` `flip--_binary64_735`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `frac-times_binary64_770` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 87

Calls

4 calls:

13.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (*.f64 z y) z)))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))

Compiler

Compiled 4052 to 1124 computations (72.3% saved)

series967.0ms (11.6%)

Error

0.0b

Counts

4 → 47

Calls

4 calls:

224.0ms	(.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (*.f64 z y) z)))
215.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
214.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
213.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))

Compiler

Compiled 5984 to 4070 computations (32% saved)

simplify94.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4945	2720
1	4945	2720

prune194.0ms (2.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	134	6	140

Error

0.0b

Counts

140 → 6

Compiler

Compiled 5830 to 2165 computations (62.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 -1 y) (cbrt.f64 (.f64 z z)))
0.3b	(.f64 (.f64 (+.f64 -1 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
26.1b	(cbrt.f64 (*.f64 z z))

rewrite111.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_782`
11×	`pow1_binary64_821` `add-exp-log_binary64_798` `*-un-lft-identity_binary64_760`
10×	`associate-r_binary64_700`
9×	`add-cube-cbrt_binary64_795` `cbrt-prod_binary64_791`
7×	`add-cbrt-cube_binary64_796`
6×	`associate-*l/_binary64_703`
5×	`associate-l_binary64_701`
4×	`add-log-exp_binary64_799` `pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
2×	`pow1/3_binary64_842` `flip3-+_binary64_763` `flip-+_binary64_734` `*-commutative_binary64_691` `unswap-sqr_binary64_728`
1×	`distribute-lft-out_binary64_711`

Counts

4 → 66

Calls

4 calls:

10.0ms	(.f64 (.f64 (+.f64 -1 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
8.0ms	(.f64 (+.f64 -1 y) (cbrt.f64 (.f64 z z)))
2.0ms	(cbrt.f64 (*.f64 z z))
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2195 to 1099 computations (49.9% saved)

series491.0ms (5.9%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

232.0ms	(.f64 (+.f64 -1 y) (cbrt.f64 (.f64 z z)))
79.0ms	(.f64 (.f64 (+.f64 -1 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))
78.0ms	(cbrt.f64 z)
76.0ms	(cbrt.f64 (*.f64 z z))

Compiler

Compiled 1722 to 1340 computations (22.2% saved)

simplify88.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4992	828
1	4992	828

prune107.0ms (1.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	90	6	96

Error

0.0b

Counts

96 → 6

Compiler

Compiled 2528 to 1360 computations (46.2% saved)

regimes722.0ms (8.7%)

Accuracy

Total 0.0b remaining (58.2%)

Threshold costs 0.0b (58.2%)

Compiler

Compiled 6592 to 5731 computations (13.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	146	31
1	146	31

end0.0ms (0%)

sample2.0s (24%)

Algorithm

1×

intervals

Results

436.0ms	7995×	body	128	valid
246.0ms	4433×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	2×	body	512	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 977 to 848 computations (13.2% saved)

Details

analyze1.6s (18.7%)

sample41.0ms (0.5%)

simplify116.0ms (1.4%)

prune3.0ms (0%)

localize18.0ms (0.2%)

rewrite162.0ms (1.9%)

series564.0ms (6.8%)

simplify65.0ms (0.8%)

prune175.0ms (2.1%)

localize18.0ms (0.2%)

rewrite107.0ms (1.3%)

series342.0ms (4.1%)

simplify81.0ms (1%)

prune114.0ms (1.4%)

localize19.0ms (0.2%)

rewrite150.0ms (1.8%)

series967.0ms (11.6%)

simplify94.0ms (1.1%)

prune194.0ms (2.3%)

localize20.0ms (0.2%)

rewrite111.0ms (1.3%)

series491.0ms (5.9%)

simplify88.0ms (1.1%)

prune107.0ms (1.3%)

regimes722.0ms (8.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.0s (24%)

Profiling