Details

analyze783.0ms (0.4%)

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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	74.9%	0.1%	8
25%	74.9%	0.1%	9
25%	64%	11.1%	10
31.2%	54.6%	14.2%	11
39%	44.1%	16.9%	12
39%	41.5%	19.5%	13
42.9%	37%	20.1%	14

Compiler

Compiled 20 to 16 computations (20% saved)

sample82.0ms (0%)

Algorithm

1×

intervals

Results

24.0ms	64×	body	1024	valid
15.0ms	48×	body	1024	invalid
11.0ms	151×	body	128	valid
7.0ms	28×	body	512	valid
6.0ms	29×	body	512	invalid
2.0ms	13×	body	256	valid
2.0ms	22×	body	128	invalid
2.0ms	11×	body	256	invalid

Compiler

Compiled 39 to 34 computations (12.8% saved)

simplify95.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	106	20
1	106	20

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.3b

Counts

2 → 2

Compiler

Compiled 13 to 11 computations (15.4% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
0.0b	(+.f64 (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`times-frac_binary64_766`
70×	`add-sqr-sqrt_binary64_782`
60×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
44×	`sqrt-prod_binary64_776` `associate-l_binary64_701`
32×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
14×	`pow1_binary64_821`
12×	`prod-exp_binary64_809` `associate-/r*_binary64_704` `cbrt-unprod_binary64_793`
6×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `associate-/l*_binary64_705` `div-exp_binary64_811` `pow-prod-down_binary64_831`
4×	`add-log-exp_binary64_799` `div-inv_binary64_757`
2×	`frac-2neg_binary64_771` `associate-l/_binary64_703` `associate-r_binary64_700` `clear-num_binary64_759` `-commutative_binary64_691`

Counts

4 → 168

Calls

8 calls:

11.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
10.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.0ms	(+.f64 (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))

series410.0ms (0.2%)

Counts

4 → 26

Calls

4 calls:

162.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
149.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
56.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
42.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))

Compiler

Compiled 968 to 828 computations (14.5% saved)

simplify102.0ms (0%)

Algorithm

1×	egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4984	3232
1	4984	3232

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
0.1b	(.f64 (cos.f64 th) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 2)))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(.f64 (cos.f64 th) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 2)))
0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_782`
38×	`times-frac_binary64_766`
32×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
22×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
10×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
6×	`associate-/r*_binary64_704`
5×	`add-log-exp_binary64_799` `pow1_binary64_821`
3×	`unswap-sqr_binary64_728` `associate-/l_binary64_705` `associate-l*_binary64_701`
2×	`cbrt-undiv_binary64_794` `prod-exp_binary64_809` `flip3-+_binary64_763` `associate-/l/_binary64_707` `div-inv_binary64_757` `flip-+_binary64_734` `cbrt-unprod_binary64_793` `div-exp_binary64_811`
1×	`frac-2neg_binary64_771` `+-commutative_binary64_690` `sum-log_binary64_851` `associate-r/_binary64_702` `clear-num_binary64_759` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

3 → 94

Calls

6 calls:

16.0ms	(.f64 (cos.f64 th) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 2)))
8.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
4.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(.f64 (cos.f64 th) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 2)))

series705.0ms (0.3%)

Counts

3 → 42

Calls

3 calls:

422.0ms	(.f64 (cos.f64 th) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 2)))
194.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
89.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

Compiler

Compiled 995 to 969 computations (2.6% saved)

simplify75.0ms (0%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5044	2993

prune1.6s (0.7%)

Pruning

157 alts after pruning (156 fresh and 1 done)

	Pruned	Kept	Total
New	174	156	330
Fresh	0	0	0
Picked	0	0	0
Done	1	1	2
Total	175	157	332

Error

Counts

332 → 157

Compiler

Compiled 9397 to 5592 computations (40.5% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

0.4b	(/.f64 (.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th)) (sqrt.f64 2))
0.1b	(.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th))
0.4b	(/.f64 (.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th)) (sqrt.f64 2))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_782`
10×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
6×	`sqrt-prod_binary64_776` `associate-/r*_binary64_704` `times-frac_binary64_766`
5×	`add-log-exp_binary64_799` `pow1_binary64_821`
4×	`associate-*l/_binary64_703`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700` `associate-l_binary64_701`
2×	`cbrt-undiv_binary64_794` `prod-exp_binary64_809` `associate-/l/_binary64_707` `cbrt-unprod_binary64_793` `div-exp_binary64_811`
1×	`unswap-sqr_binary64_728` `frac-2neg_binary64_771` `div-inv_binary64_757` `associate-/l_binary64_705` `+-commutative_binary64_690` `sum-log_binary64_851` `clear-num_binary64_759` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

3 → 60

Calls

6 calls:

9.0ms	(/.f64 (.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th)) (sqrt.f64 2))
7.0ms	(.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th))
4.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(/.f64 (.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th)) (sqrt.f64 2))

series783.0ms (0.4%)

Counts

3 → 48

Calls

3 calls:

417.0ms	(/.f64 (.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th)) (sqrt.f64 2))
272.0ms	(.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cos.f64 th))
94.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

Compiler

Compiled 1207 to 1137 computations (5.8% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4967	2050
1	4967	2050

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`times-frac_binary64_766`
17×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
12×	`sqrt-prod_binary64_776`
6×	`associate-/r*_binary64_704`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
3×	`associate-/l*_binary64_705`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `+-commutative_binary64_690` `sum-log_binary64_851` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

2 → 52

Calls

4 calls:

8.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
4.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))

series288.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

194.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 2))
94.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

Compiler

Compiled 348 to 396 computations (-13.8% saved)

simplify76.0ms (0%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4987	1476
1	4987	1476

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2)))
0.1b	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2)))
0.3b	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))

rewrite258.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1137×	`sqrt-prod_binary64_776`
1119×	`times-frac_binary64_766`
625×	`add-sqr-sqrt_binary64_782`
578×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
283×	`associate-r_binary64_700`
34×	`associate-/l*_binary64_705`
22×	`div-inv_binary64_757`
20×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
18×	`associate-/r*_binary64_704`
13×	`unswap-sqr_binary64_728`
7×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
6×	`add-log-exp_binary64_799` `pow1_binary64_821`
3×	`prod-exp_binary64_809` `associate-/l/_binary64_707` `associate-l_binary64_701` `cbrt-unprod_binary64_793`
2×	`frac-2neg_binary64_771` `flip3-+_binary64_763` `flip-+_binary64_734` `clear-num_binary64_759`
1×	`+-commutative_binary64_690` `sum-log_binary64_851` `associate-r/_binary64_702` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

4 → 713

Calls

8 calls:

83.0ms	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
23.0ms	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
9.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2)))
4.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series996.0ms (0.5%)

Counts

4 → 54

Calls

4 calls:

443.0ms	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
254.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2)))
197.0ms	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
102.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

Compiler

Compiled 1493 to 1473 computations (1.3% saved)

simplify316.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

767 → 767

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4970	26923
1	4970	26923

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2))))
0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))
0.1b	(.f64 (cos.f64 th) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(.f64 (cos.f64 th) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))))
0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))
0.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2))))
1.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

rewrite97.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

123×	`add-exp-log_binary64_798`
79×	`add-sqr-sqrt_binary64_782`
77×	`times-frac_binary64_766`
58×	`prod-exp_binary64_809`
54×	`*-un-lft-identity_binary64_760`
50×	`add-cube-cbrt_binary64_795`
48×	`cbrt-prod_binary64_791`
44×	`add-cbrt-cube_binary64_796`
35×	`div-exp_binary64_811`
32×	`associate-r_binary64_700`
24×	`sqrt-prod_binary64_776` `cbrt-unprod_binary64_793`
19×	`pow1_binary64_821`
17×	`cbrt-undiv_binary64_794`
12×	`unswap-sqr_binary64_728`
10×	`associate-/r_binary64_704` `associate-l*_binary64_701` `rec-exp_binary64_810` `1-exp_binary64_804`
9×	`pow-flip_binary64_834`
6×	`pow1/3_binary64_842` `associate-/l*_binary64_705` `pow-prod-down_binary64_831`
5×	`associate-*r/_binary64_702`
4×	`add-log-exp_binary64_799` `div-inv_binary64_757`
2×	`frac-2neg_binary64_771` `associate-l/_binary64_703` `associate-/l/_binary64_707` `pow-sqr_binary64_733` `frac-times_binary64_770` `clear-num_binary64_759` `pow-prod-up_binary64_830` `-commutative_binary64_691`
1×	`pow2_binary64_841` `flip3-+_binary64_763` `pow-plus_binary64_823` `inv-pow_binary64_845` `flip-+_binary64_734`

Counts

4 → 209

Calls

8 calls:

31.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2))))
21.0ms	(.f64 (cos.f64 th) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))))
8.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))
8.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series1.2s (0.5%)

Counts

4 → 42

Calls

4 calls:

551.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))
440.0ms	(.f64 (cos.f64 th) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2)))))
204.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (sqrt.f64 2))))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

Compiler

Compiled 1331 to 1305 computations (2% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

251 → 251

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5076	6133

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))
0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))) (*.f64 a1 a1))
0.3b	(*.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th)))
0.0b	(+.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (*.f64 a2 a2)))
0.3b	(cbrt.f64 (cos.f64 th))
0.3b	(cbrt.f64 (cos.f64 th))
0.6b	(/.f64 (*.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))

rewrite47.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

130×	`times-frac_binary64_766`
71×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
48×	`sqrt-prod_binary64_776`
46×	`associate-/r*_binary64_704`
42×	`cbrt-prod_binary64_791`
18×	`add-exp-log_binary64_798`
12×	`add-cbrt-cube_binary64_796`
7×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
4×	`add-log-exp_binary64_799` `div-inv_binary64_757` `associate-/l*_binary64_705` `pow1_binary64_821`
2×	`pow1/3_binary64_842` `frac-2neg_binary64_771` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `clear-num_binary64_759`
1×	`associate-/r/_binary64_706`

Counts

4 → 161

Calls

8 calls:

14.0ms	(/.f64 (*.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
1.0ms	(cbrt.f64 (cos.f64 th))
1.0ms	(cbrt.f64 (cos.f64 th))
0.0ms	(+.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (*.f64 a2 a2)))

series262.0ms (0.1%)

Counts

4 → 22

Calls

4 calls:

82.0ms	(cbrt.f64 (cos.f64 th))
82.0ms	(cbrt.f64 (cos.f64 th))
55.0ms	(/.f64 (*.f64 (cbrt.f64 (cos.f64 th)) (cbrt.f64 (cos.f64 th))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
43.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))

Compiler

Compiled 934 to 697 computations (25.4% saved)

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5004	3546

prune18.3s (8.4%)

Pruning

526 alts after pruning (520 fresh and 6 done)

	Pruned	Kept	Total
New	990	395	1385
Fresh	26	125	151
Picked	0	0	0
Done	0	6	6
Total	1016	526	1542

Error

Counts

1542 → 526

Compiler

Compiled 34964 to 21254 computations (39.2% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
0.2b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.1b	(.f64 (cos.f64 th) (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.2b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.2b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
1.0b	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
1.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

rewrite134.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

199×	`add-exp-log_binary64_798`
139×	`times-frac_binary64_766`
125×	`cbrt-prod_binary64_791`
118×	`add-sqr-sqrt_binary64_782`
86×	`div-exp_binary64_811`
72×	`*-un-lft-identity_binary64_760` `prod-exp_binary64_809`
67×	`add-cube-cbrt_binary64_795`
57×	`add-cbrt-cube_binary64_796`
40×	`cbrt-undiv_binary64_794` `associate-r_binary64_700`
30×	`cbrt-unprod_binary64_793`
28×	`pow1/3_binary64_842`
27×	`pow1_binary64_821`
25×	`sqrt-prod_binary64_776`
20×	`unswap-sqr_binary64_728`
19×	`pow-flip_binary64_834`
14×	`associate-/r*_binary64_704` `rec-exp_binary64_810` `1-exp_binary64_804`
13×	`associate-/l*_binary64_705`
11×	`pow-div_binary64_835` `associate-l_binary64_701`
8×	`pow-sqr_binary64_733` `div-inv_binary64_757` `pow-prod-up_binary64_830`
7×	`pow-prod-down_binary64_831`
4×	`add-log-exp_binary64_799`
3×	`pow2_binary64_841` `frac-2neg_binary64_771` `associate-/l/_binary64_707` `pow-plus_binary64_823` `clear-num_binary64_759`
2×	`inv-pow_binary64_845`
1×	`associate-l/_binary64_703` `flip3-+_binary64_763` `flip-+_binary64_734` `frac-times_binary64_770` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

4 → 284

Calls

8 calls:

43.0ms	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
18.0ms	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
10.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
10.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series751.0ms (0.3%)

Counts

4 → 24

Calls

4 calls:

537.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
213.0ms	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.0ms	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))

Compiler

Compiled 972 to 984 computations (-1.2% saved)

simplify179.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

308 → 308

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4899	8389
1	4899	8389

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(/.f64 (*.f64 a1 a1) (sqrt.f64 2))
0.3b	(/.f64 (*.f64 a1 a1) (sqrt.f64 2))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`sqrt-prod_binary64_776` `add-exp-log_binary64_798` `associate-/r*_binary64_704` `add-cbrt-cube_binary64_796` `times-frac_binary64_766`
5×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
2×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `add-log-exp_binary64_799` `div-inv_binary64_757` `associate-/l*_binary64_705` `cbrt-unprod_binary64_793` `pow1_binary64_821` `clear-num_binary64_759`

Counts

1 → 27

Calls

2 calls:

5.0ms	(/.f64 (*.f64 a1 a1) (sqrt.f64 2))
0.0ms	(/.f64 (*.f64 a1 a1) (sqrt.f64 2))

series50.0ms (0%)

Counts

1 → 3

Calls

1 calls:

50.0ms

(/.f64 (*.f64 a1 a1) (sqrt.f64 2))

Compiler

Compiled 36 to 48 computations (-33.3% saved)

simplify83.0ms (0%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5462	340

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
0.3b	(.f64 (log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)))) (.f64 a1 a1))
0.0b	(exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)))
0.0b	(+.f64 (.f64 (log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
0.3b	(log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2))))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

74×	`times-frac_binary64_766`
66×	`add-sqr-sqrt_binary64_782`
61×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
43×	`sqrt-prod_binary64_776`
23×	`log-pow_binary64_849`
22×	`exp-prod_binary64_812` `associate-l_binary64_701`
20×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
12×	`associate-/r*_binary64_704`
10×	`pow1_binary64_821`
6×	`prod-exp_binary64_809` `associate-/l*_binary64_705` `cbrt-unprod_binary64_793`
4×	`cbrt-undiv_binary64_794` `add-log-exp_binary64_799` `div-inv_binary64_757` `div-exp_binary64_811`
3×	`unswap-sqr_binary64_728` `pow-prod-down_binary64_831` `log-prod_binary64_846`
2×	`frac-2neg_binary64_771` `clear-num_binary64_759`
1×	`associate-l/_binary64_703` `associate-r_binary64_700` `rem-log-exp_binary64_801` `-commutative_binary64_691`

Counts

4 → 157

Calls

8 calls:

15.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
7.0ms	(log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2))))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.0ms	(+.f64 (.f64 (log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))

series394.0ms (0.2%)

Counts

4 → 23

Calls

4 calls:

153.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2))
145.0ms	(log.f64 (exp.f64 (/.f64 (cos.f64 th) (sqrt.f64 2))))
55.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
41.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))

Compiler

Compiled 910 to 786 computations (13.6% saved)

simplify104.0ms (0%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4954	2785
1	4954	2785

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
0.2b	(.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2))
0.1b	(/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2)))
0.0b	(+.f64 (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1)) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2))))
0.3b	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
0.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2)))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))
1.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

rewrite76.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

180×	`add-exp-log_binary64_798`
101×	`prod-exp_binary64_809`
74×	`add-cbrt-cube_binary64_796`
45×	`cbrt-unprod_binary64_793`
44×	`times-frac_binary64_766`
41×	`div-exp_binary64_811` `add-sqr-sqrt_binary64_782`
36×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
29×	`associate-l_binary64_701`
26×	`pow1_binary64_821`
22×	`sqrt-prod_binary64_776`
21×	`cbrt-undiv_binary64_794`
12×	`rec-exp_binary64_810` `1-exp_binary64_804`
11×	`pow-prod-down_binary64_831`
9×	`pow-flip_binary64_834`
7×	`associate-/r*_binary64_704`
6×	`pow1/3_binary64_842` `associate-/l*_binary64_705`
4×	`associate-*l/_binary64_703` `add-log-exp_binary64_799` `div-inv_binary64_757`
3×	`unswap-sqr_binary64_728`
2×	`frac-2neg_binary64_771` `pow-sqr_binary64_733` `associate-r_binary64_700` `clear-num_binary64_759` `pow-prod-up_binary64_830` `*-commutative_binary64_691`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `inv-pow_binary64_845` `frac-times_binary64_770` `associate-*r/_binary64_702`

Counts

4 → 191

Calls

8 calls:

23.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2)))
14.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
8.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.0ms	(+.f64 (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1)) (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2))))

series381.0ms (0.2%)

Counts

4 → 22

Calls

4 calls:

171.0ms	(.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a1 a1))
158.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))) (.f64 a2 a2)))
52.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

Compiler

Compiled 1053 to 938 computations (10.9% saved)

simplify140.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4962	3356
1	4962	3356

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))
0.0b	(sqrt.f64 (cos.f64 th))
0.0b	(sqrt.f64 (cos.f64 th))
0.0b	(+.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))
0.3b	(cbrt.f64 (cos.f64 th))
0.3b	(cbrt.f64 (cos.f64 th))
0.5b	(/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
0.7b	(/.f64 (cos.f64 th) (sqrt.f64 2))

rewrite52.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

130×	`times-frac_binary64_766`
71×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
48×	`sqrt-prod_binary64_776`
46×	`associate-/r*_binary64_704`
42×	`cbrt-prod_binary64_791`
27×	`add-exp-log_binary64_798`
16×	`add-cbrt-cube_binary64_796`
10×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
6×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799` `div-inv_binary64_757` `associate-/l*_binary64_705` `pow1_binary64_821`
2×	`pow1/3_binary64_842` `frac-2neg_binary64_771` `clear-num_binary64_759`
1×	`associate-/r/_binary64_706`

Counts

4 → 165

Calls

8 calls:

20.0ms	(/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
5.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))
1.0ms	(cbrt.f64 (cos.f64 th))
1.0ms	(cbrt.f64 (cos.f64 th))
0.0ms	(+.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th)))) (.f64 a1 a1)) (.f64 (/.f64 (cos.f64 th) (sqrt.f64 2)) (.f64 a2 a2)))

series268.0ms (0.1%)

Counts

4 → 21

Calls

4 calls:

87.0ms	(cbrt.f64 (cos.f64 th))
81.0ms	(cbrt.f64 (cos.f64 th))
61.0ms	(/.f64 (.f64 (cbrt.f64 (cos.f64 th)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 th))) (cbrt.f64 (sqrt.f64 (cos.f64 th))))) (/.f64 (sqrt.f64 2) (cbrt.f64 (cos.f64 th))))
39.0ms	(/.f64 (cos.f64 th) (sqrt.f64 2))

Compiler

Compiled 1021 to 728 computations (28.7% saved)

simplify137.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4936	3430
1	4936	3430

prune35.9s (16.5%)

Pruning

757 alts after pruning (748 fresh and 9 done)

	Pruned	Kept	Total
New	630	287	917
Fresh	54	461	515
Picked	0	0	0
Done	2	9	11
Total	686	757	1443

Error

Counts

1443 → 757

Compiler

Compiled 42767 to 29491 computations (31% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (cos.f64 th) (.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (/.f64 (sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2))) (/.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))))))
0.0b	(/.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2))))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
1.0b	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
1.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
6.1b	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
6.1b	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))

rewrite57.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`add-exp-log_binary64_798`
28×	`pow1/3_binary64_842`
27×	`pow1_binary64_821`
26×	`div-exp_binary64_811`
19×	`pow-flip_binary64_834`
18×	`add-cbrt-cube_binary64_796`
16×	`prod-exp_binary64_809` `times-frac_binary64_766`
14×	`add-sqr-sqrt_binary64_782`
12×	`cbrt-undiv_binary64_794` `*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`pow-div_binary64_835`
10×	`associate-/l*_binary64_705`
8×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830`
6×	`sqrt-prod_binary64_776` `rec-exp_binary64_810` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `1-exp_binary64_804`
4×	`add-log-exp_binary64_799` `div-inv_binary64_757` `sqrt-div_binary64_777`
3×	`pow2_binary64_841` `pow-plus_binary64_823`
2×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `flip3-+_binary64_763` `sqrt-pow1_binary64_778` `associate-/r*_binary64_704` `inv-pow_binary64_845` `flip-+_binary64_734` `pow1/2_binary64_840` `clear-num_binary64_759`
1×	`associate-/l/_binary64_707`

Counts

4 → 122

Calls

8 calls:

22.0ms	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
7.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
4.0ms	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
4.0ms	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series338.0ms (0.2%)

Counts

4 → 42

Calls

4 calls:

170.0ms	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
167.0ms	(sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.0ms	(/.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))

Compiler

Compiled 2484 to 2196 computations (11.6% saved)

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5134	2385

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (sqrt.f64 2) a1)
0.2b	(/.f64 a1 (/.f64 (sqrt.f64 2) a1))
0.2b	(/.f64 a1 (/.f64 (sqrt.f64 2) a1))
0.5b	(/.f64 (sqrt.f64 2) a1)

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`times-frac_binary64_766`
92×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
48×	`sqrt-prod_binary64_776`
25×	`associate-/r*_binary64_704`
9×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `associate-/l*_binary64_705`
6×	`div-inv_binary64_757`
4×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
2×	`frac-2neg_binary64_771` `add-log-exp_binary64_799` `pow1_binary64_821` `clear-num_binary64_759`
1×	`associate-/r/_binary64_706`

Counts

2 → 145

Calls

4 calls:

8.0ms	(/.f64 a1 (/.f64 (sqrt.f64 2) a1))
4.0ms	(/.f64 (sqrt.f64 2) a1)
0.0ms	(/.f64 a1 (/.f64 (sqrt.f64 2) a1))
0.0ms	(/.f64 (sqrt.f64 2) a1)

series82.0ms (0%)

Counts

2 → 6

Calls

2 calls:

46.0ms	(/.f64 a1 (/.f64 (sqrt.f64 2) a1))
36.0ms	(/.f64 (sqrt.f64 2) a1)

Compiler

Compiled 72 to 90 computations (-25% saved)

simplify128.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4919	2431
1	4919	2431

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.3b	(.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))))
0.1b	(/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2)))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2)))
0.3b	(.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))))
0.3b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`add-sqr-sqrt_binary64_782`
70×	`times-frac_binary64_766`
49×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
46×	`cbrt-prod_binary64_791`
32×	`add-exp-log_binary64_798`
31×	`associate-r_binary64_700`
23×	`sqrt-prod_binary64_776`
22×	`add-cbrt-cube_binary64_796`
10×	`cbrt-undiv_binary64_794` `associate-/r*_binary64_704` `div-exp_binary64_811`
9×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
8×	`unswap-sqr_binary64_728`
7×	`associate-l_binary64_701`
6×	`add-log-exp_binary64_799` `associate-/l*_binary64_705` `pow1_binary64_821`
4×	`div-inv_binary64_757`
2×	`frac-2neg_binary64_771` `flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734` `clear-num_binary64_759`
1×	`associate-l/_binary64_703` `frac-times_binary64_770` `+-commutative_binary64_690` `sum-log_binary64_851` `associate-r/_binary64_702` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 155

Calls

8 calls:

25.0ms	(.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))))
11.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
5.0ms	(/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2)))
4.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series1.4s (0.6%)

Counts

4 → 48

Calls

4 calls:

671.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
449.0ms	(.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2))))
136.0ms	(/.f64 (cos.f64 th) (cbrt.f64 (sqrt.f64 2)))
102.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

Compiler

Compiled 1675 to 1631 computations (2.6% saved)

simplify101.0ms (0%)

Algorithm

1×	egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4984	5234
1	4984	5234

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7))
0.4b	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.1b	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.1b	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))))
0.4b	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.4b	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7))
1.0b	(pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)

rewrite139.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

309×	`times-frac_binary64_766`
215×	`cbrt-prod_binary64_791`
172×	`unpow-prod-down_binary64_839`
165×	`add-sqr-sqrt_binary64_782`
144×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
68×	`add-exp-log_binary64_798`
56×	`associate-r_binary64_700`
55×	`associate-/l*_binary64_705`
43×	`sqrt-prod_binary64_776`
31×	`div-exp_binary64_811`
28×	`add-cbrt-cube_binary64_796`
17×	`prod-exp_binary64_809` `associate-/r*_binary64_704`
15×	`sqr-pow_binary64_732`
13×	`cbrt-undiv_binary64_794`
9×	`cbrt-unprod_binary64_793`
8×	`unswap-sqr_binary64_728`
7×	`pow1_binary64_821`
6×	`pow-exp_binary64_828` `div-inv_binary64_757` `pow-to-exp_binary64_829`
4×	`add-log-exp_binary64_799`
3×	`associate-/l/_binary64_707` `associate-l_binary64_701` `pow-unpow_binary64_837`
2×	`frac-2neg_binary64_771` `clear-num_binary64_759` `pow-pow_binary64_832`
1×	`pow1/3_binary64_842` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-r/_binary64_702` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

4 → 329

Calls

8 calls:

38.0ms	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))))
24.0ms	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
12.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7))
5.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series1.4s (0.7%)

Counts

4 → 42

Calls

4 calls:

785.0ms	(/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7))
440.0ms	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))))
197.0ms	(/.f64 (/.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
0.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) 7)

Compiler

Compiled 1391 to 1365 computations (1.9% saved)

simplify191.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

371 → 371

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4940	13875
1	4940	13875

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2))) (cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 2))) 4)) (cos.f64 th))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
0.0b	(+.f64 (.f64 a1 a1) (.f64 a2 a2))
1.0b	(cbrt.f64 (sqrt.f64 (sqrt.f64 2)))
6.6b	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
6.6b	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
6.6b	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_791`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
9×	`sqrt-prod_binary64_776`
6×	`cbrt-div_binary64_792`
4×	`pow1/3_binary64_842` `add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
3×	`flip3-+_binary64_763` `flip-+_binary64_734`

Counts

4 → 56

Calls

8 calls:

5.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
4.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
4.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
2.0ms	(cbrt.f64 (sqrt.f64 (sqrt.f64 2)))
0.0ms	(+.f64 (.f64 a1 a1) (.f64 a2 a2))

series1.0s (0.5%)

Counts

4 → 63

Calls

4 calls:

344.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
339.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
337.0ms	(cbrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2)))
0.0ms	(cbrt.f64 (sqrt.f64 (sqrt.f64 2)))

Compiler

Compiled 4608 to 3600 computations (21.9% saved)

simplify91.0ms (0%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4943	2980
1	4943	2980

prune1.1min (30.8%)

Pruning

1098 alts after pruning (1084 fresh and 14 done)

	Pruned	Kept	Total
New	612	396	1008
Fresh	55	688	743
Picked	0	0	0
Done	0	14	14
Total	667	1098	1765

Error

Counts

1765 → 1098

Compiler

Compiled 23637 to 13876 computations (41.3% saved)

simplify1.7s (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5243	100014

regimes42.9s (19.7%)

Compiler: Compiled 482060 to 373857 computations (22.4% saved)

bsearch0.0ms (0%)

regimes11.2s (5.1%)

Compiler: Compiled 117730 to 96234 computations (18.3% saved)

bsearch0.0ms (0%)

regimes5.6s (2.6%)

Compiler: Compiled 55254 to 45641 computations (17.4% saved)

bsearch0.0ms (0%)

regimes3.4s (1.6%)

Compiler: Compiled 30219 to 25584 computations (15.3% saved)

bsearch0.0ms (0%)

regimes554.0ms (0.3%)

Compiler: Compiled 3200 to 3243 computations (-1.3% saved)

bsearch0.0ms (0%)

regimes1.2s (0.5%)

Compiler: Compiled 3018 to 3089 computations (-2.4% saved)

bsearch433.0ms (0.2%)

Steps

Iters	Range		Point
8	7.549525433061133e+274	2.1540097560818974e+278	1.7458776498391287e+277
7	2.099796028655628e+241	4.351236198596376e+242	1.6840039292590713e+242
9	6.770525846479393e+113	5.648189662519318e+119	7.318441367217523e+118
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-0.029473611830567504	-5.345511717409476e-09	-0.00039981306424906863
3	-1.4674737658666053e+127	-1.0673579188332234e+127	-1.3375262572834487e+127
8	-1.2451167106468385e+158	-8.734033768470214e+154	-2.097684956701027e+157
7	-2.656634593938812e+197	-8.275673427348453e+195	-1.396748572538971e+196

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes1.0s (0.5%)

Compiler: Compiled 2754 to 2841 computations (-3.2% saved)

bsearch447.0ms (0.2%)

Steps

Iters	Range		Point
8	7.549525433061133e+274	2.1540097560818974e+278	5.3321329053114234e+275
7	2.099796028655628e+241	4.351236198596376e+242	4.172189751567742e+241
9	6.770525846479393e+113	5.648189662519318e+119	2.7965817193996825e+119
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-0.029473611830567504	-5.345511717409476e-09	-0.00029275651192601257
3	-1.4674737658666053e+127	-1.0673579188332234e+127	-1.0803526696915391e+127
8	-1.2451167106468385e+158	-8.734033768470214e+154	-8.902223559338374e+156
7	-2.656634593938812e+197	-8.275673427348453e+195	-4.250718062989372e+196

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes852.0ms (0.4%)

Compiler: Compiled 2056 to 2118 computations (-3% saved)

bsearch454.0ms (0.2%)

Steps

Iters	Range		Point
8	7.549525433061133e+274	2.1540097560818974e+278	1.2314859590874055e+277
7	2.099796028655628e+241	4.351236198596376e+242	3.457235633603687e+242
9	6.770525846479393e+113	5.648189662519318e+119	3.43126569877621e+118
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-0.029473611830567504	-5.345511717409476e-09	-1.2502234148944674e-05
3	-1.4674737658666053e+127	-1.0673579188332234e+127	-1.1815892469836605e+127
8	-1.2451167106468385e+158	-8.734033768470214e+154	-1.7085491702412823e+155
7	-2.656634593938812e+197	-8.275673427348453e+195	-3.6287283703331125e+196

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes826.0ms (0.4%)

Compiler: Compiled 2002 to 2064 computations (-3.1% saved)

bsearch438.0ms (0.2%)

Steps

Iters	Range		Point
8	7.549525433061133e+274	2.1540097560818974e+278	7.027912282012141e+276
7	2.099796028655628e+241	4.351236198596376e+242	2.1286024079804908e+242
9	6.770525846479393e+113	5.648189662519318e+119	7.558580221874034e+114
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-0.029473611830567504	-5.345511717409476e-09	-0.0008894502610426399
3	-1.4674737658666053e+127	-1.0673579188332234e+127	-1.3895052607167113e+127
8	-1.2451167106468385e+158	-8.734033768470214e+154	-4.5031110560155425e+156
7	-2.656634593938812e+197	-8.275673427348453e+195	-2.313265553030464e+196

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes789.0ms (0.4%)

Compiler: Compiled 1948 to 2010 computations (-3.2% saved)

bsearch435.0ms (0.2%)

Steps

Iters	Range		Point
8	7.549525433061133e+274	2.1540097560818974e+278	2.505310759126052e+275
7	2.099796028655628e+241	4.351236198596376e+242	1.2764553237644365e+242
9	6.770525846479393e+113	5.648189662519318e+119	2.94626308986263e+116
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-0.029473611830567504	-5.345511717409476e-09	-1.7473884097604331e-06
3	-1.4674737658666053e+127	-1.0673579188332234e+127	-1.1296102435503977e+127
8	-1.2451167106468385e+158	-8.734033768470214e+154	-3.3339300267181208e+156
7	-2.656634593938812e+197	-8.275673427348453e+195	-1.7256142768646329e+196

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes471.0ms (0.2%)

Compiler: Compiled 1786 to 1848 computations (-3.5% saved)

bsearch74.0ms (0%)

Steps

Iters	Range		Point
9	1492254.983434978	120883021792273.48	1519180.782663387
9	-583230.4762086262	-5.371859127494968	-5.437364826985349

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes233.0ms (0.1%)

Compiler: Compiled 1443 to 1494 computations (-3.5% saved)

bsearch0.0ms (0%)

regimes358.0ms (0.2%)

Compiler: Compiled 764 to 933 computations (-22.1% saved)

bsearch95.0ms (0%)

Steps

Iters	Range		Point
4	4.552685910730023e-95	8.933440486200782e-95	5.371209810553784e-95
10	5.24503139650622e-135	1.3667802619452628e-124	1.8986556719066702e-128
7	8.012502249699239e-227	6.821490100741078e-225	5.4300749712775135e-226

Compiler

Compiled 3 to 4 computations (-33.3% saved)

regimes51.0ms (0%)

Compiler: Compiled 120 to 186 computations (-55% saved)

bsearch0.0ms (0%)

regimes35.0ms (0%)

Compiler: Compiled 69 to 117 computations (-69.6% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch31.0ms (0%)

Compiler: Compiled 770 to 488 computations (36.6% saved)

simplify18.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	225	1087
1	225	1087

end0.0ms (0%)

sample6.0s (2.7%)

Algorithm

1×

intervals

Results

572.0ms	1802×	body	1024	valid
487.0ms	1526×	body	1024	invalid
391.0ms	4791×	body	128	valid
226.0ms	960×	body	512	valid
187.0ms	797×	body	512	invalid
68.0ms	446×	body	256	valid
61.0ms	692×	body	128	invalid
60.0ms	386×	body	256	invalid
0.0ms	1×	body	2048	valid

Compiler

Compiled 61158 to 47224 computations (22.8% saved)