Details

analyze706.0ms (1.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
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample86.0ms (0.2%)

Algorithm

1×

intervals

Results

35.0ms	35×	body	2048	valid
14.0ms	54×	body	1024	valid
11.0ms	3×	body	4096	valid
6.0ms	124×	body	128	valid
6.0ms	33×	body	512	valid
1.0ms	7×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify110.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	299	20
1	299	20

prune6.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

17.7b

Counts

2 → 2

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(/.f64 1 (*.f64 F F))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))
0.3b	(*.f64 PI.f64 l)
0.6b	(/.f64 1 (*.f64 F F))
3.4b	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
32.2b	(tan.f64 (*.f64 PI.f64 l))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`add-exp-log_binary64`
20×	`add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`pow1_binary64`
14×	`prod-exp_binary64`
12×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-l_binary64`
8×	`times-frac_binary64` `div-exp_binary64`
6×	`cbrt-unprod_binary64` `associate-r_binary64` `pow-flip_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `rec-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/l*_binary64` `tan-quot_binary64`
2×	`div-inv_binary64` `*-commutative_binary64`
1×	`associate-/r_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-plus_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-sqr_binary64` `frac-times_binary64` `pow2_binary64` `associate-*l/_binary64`

Counts

4 → 93

Calls

8 calls:

11.0ms	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
5.0ms	(/.f64 1 (*.f64 F F))
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))

series288.0ms (0.7%)

Counts

4 → 15

Calls

4 calls:

196.0ms	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
51.0ms	(tan.f64 (*.f64 PI.f64 l))
21.0ms	(*.f64 PI.f64 l)
20.0ms	(/.f64 1 (*.f64 F F))

Compiler

Compiled 486 to 337 computations (30.7% saved)

simplify87.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4916	1164
1	4916	1164

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

3.5b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.0b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 PI.f64 l)) (*.f64 F F)))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
3.5b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
32.2b	(tan.f64 (*.f64 PI.f64 l))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 66

Calls

8 calls:

5.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 PI.f64 l)) (*.f64 F F)))

series277.0ms (0.6%)

Counts

4 → 15

Calls

4 calls:

200.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
37.0ms	(tan.f64 (*.f64 PI.f64 l))
20.0ms	(*.f64 PI.f64 l)
20.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 450 to 295 computations (34.4% saved)

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5862	910

prune532.0ms (1.2%)

Pruning

73 alts after pruning (71 fresh and 2 done)

	Pruned	Kept	Total
New	118	71	189
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	118	73	191

Error

14.0b

Counts

191 → 73

Compiler

Compiled 3045 to 1312 computations (56.9% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.1b	(.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 PI.f64 l)) F))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.3b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
32.2b	(tan.f64 (*.f64 PI.f64 l))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

8 calls:

4.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))

series269.0ms (0.6%)

Counts

4 → 15

Calls

4 calls:

193.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
36.0ms	(tan.f64 (*.f64 PI.f64 l))
20.0ms	(*.f64 PI.f64 l)
20.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 538 to 371 computations (31% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4823	1012
1	4823	1012

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

6.7b	(/.f64 (.f64 PI.f64 l) (.f64 F F))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.0b	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 PI.f64 l) (*.f64 F F)))
0.0b	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 PI.f64 l) (*.f64 F F)))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
6.7b	(/.f64 (.f64 PI.f64 l) (.f64 F F))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `associate-l_binary64` `prod-exp_binary64`
5×	`cancel-sign-sub-inv_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
2×	`pow-prod-down_binary64` `unswap-sqr_binary64` `times-frac_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `flip--_binary64`

Counts

4 → 73

Calls

8 calls:

6.0ms	(/.f64 (.f64 PI.f64 l) (.f64 F F))
5.0ms	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 PI.f64 l) (*.f64 F F)))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
0.0ms	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 PI.f64 l) (*.f64 F F)))

series257.0ms (0.6%)

Counts

4 → 21

Calls

4 calls:

127.0ms	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 PI.f64 l) (*.f64 F F)))
90.0ms	(/.f64 (.f64 PI.f64 l) (.f64 F F))
21.0ms	(*.f64 PI.f64 l)
19.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 403 to 297 computations (26.3% saved)

simplify87.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4941	1079
1	4941	1079

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.1b	(/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l)))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))))
0.6b	(/.f64 1 (*.f64 F F))
3.4b	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
31.7b	(sin.f64 (*.f64 PI.f64 l))
31.7b	(cos.f64 (*.f64 PI.f64 l))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`add-exp-log_binary64`
30×	`add-cbrt-cube_binary64`
28×	`add-sqr-sqrt_binary64`
23×	`prod-exp_binary64`
22×	`times-frac_binary64`
19×	`div-exp_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
14×	`pow1_binary64`
13×	`associate-r_binary64`
9×	`cbrt-unprod_binary64` `cbrt-undiv_binary64`
7×	`associate-l_binary64`
6×	`1-exp_binary64` `unswap-sqr_binary64` `rec-exp_binary64` `pow-flip_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l*_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64`
1×	`associate-/r_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-plus_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-sqr_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 104

Calls

8 calls:

14.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
5.0ms	(/.f64 1 (*.f64 F F))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
2.0ms	(sin.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))))

series260.0ms (0.6%)

Counts

4 → 19

Calls

4 calls:

194.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
26.0ms	(cos.f64 (*.f64 PI.f64 l))
21.0ms	(/.f64 1 (*.f64 F F))
18.0ms	(sin.f64 (*.f64 PI.f64 l))

Compiler

Compiled 680 to 464 computations (31.8% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4977	2161
1	4977	2161

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(exp.f64 (tan.f64 (*.f64 PI.f64 l)))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (log.f64 (exp.f64 (tan.f64 (.f64 PI.f64 l))))))
0.6b	(/.f64 1 (*.f64 F F))
3.6b	(.f64 (/.f64 1 (.f64 F F)) (log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l)))))
4.8b	(log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))))
32.2b	(tan.f64 (*.f64 PI.f64 l))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-exp-log_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`add-cbrt-cube_binary64`
16×	`pow1_binary64`
15×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`prod-exp_binary64`
9×	`log-prod_binary64`
8×	`log-pow_binary64` `times-frac_binary64` `div-exp_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`pow-flip_binary64` `exp-prod_binary64`
5×	`cbrt-unprod_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64`
3×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
2×	`pow-prod-down_binary64` `div-inv_binary64`
1×	`associate-/r_binary64` `pow-prod-up_binary64` `rem-log-exp_binary64` `pow-plus_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-sqr_binary64` `pow2_binary64` `tan-quot_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 98

Calls

8 calls:

11.0ms	(.f64 (/.f64 1 (.f64 F F)) (log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l)))))
5.0ms	(/.f64 1 (*.f64 F F))
2.0ms	(log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))))
2.0ms	(tan.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (log.f64 (exp.f64 (tan.f64 (.f64 PI.f64 l))))))

series530.0ms (1.2%)

Counts

4 → 15

Calls

4 calls:

362.0ms	(.f64 (/.f64 1 (.f64 F F)) (log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l)))))
111.0ms	(log.f64 (exp.f64 (tan.f64 (*.f64 PI.f64 l))))
35.0ms	(tan.f64 (*.f64 PI.f64 l))
21.0ms	(/.f64 1 (*.f64 F F))

Compiler

Compiled 566 to 403 computations (28.8% saved)

simplify105.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4901	1427
1	4901	1427

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))
0.3b	(.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)))
0.3b	(*.f64 PI.f64 l)
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))))
0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)
3.4b	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))
32.7b	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-exp-log_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `prod-exp_binary64`
9×	`add-cube-cbrt_binary64`
7×	`associate-l_binary64`
6×	`pow1_binary64` `cbrt-prod_binary64`
5×	`times-frac_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `div-exp_binary64`
3×	`associate-r_binary64` `unswap-sqr_binary64` `tan-quot_binary64`
2×	`1-exp_binary64` `cbrt-undiv_binary64` `pow1/3_binary64` `rec-exp_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `div-inv_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 65

Calls

8 calls:

12.0ms	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))
4.0ms	(cbrt.f64 l)
3.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))
1.0ms	(cbrt.f64 l)
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))))

series451.0ms (1%)

Counts

4 → 15

Calls

4 calls:

234.0ms	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))))
82.0ms	(cbrt.f64 l)
79.0ms	(cbrt.f64 l)
56.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

Compiler

Compiled 658 to 479 computations (27.2% saved)

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5052	962

prune4.0s (9.1%)

Pruning

236 alts after pruning (231 fresh and 5 done)

	Pruned	Kept	Total
New	326	171	497
Fresh	6	60	66
Picked	0	0	0
Done	2	5	7
Total	334	236	570

Error

0.3b

Counts

570 → 236

Compiler

Compiled 10678 to 4731 computations (55.7% saved)

localize2.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

2 calls:

4.0ms	(*.f64 PI.f64 l)
0.0ms	(*.f64 PI.f64 l)

series19.0ms (0%)

Counts

1 → 3

Calls

1 calls:

19.0ms

(*.f64 PI.f64 l)

Compiler

Compiled 18 to 24 computations (-33.3% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4981	152
1	4981	152

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

6.7b	(/.f64 (neg.f64 (.f64 PI.f64 l)) (.f64 F F))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
6.7b	(/.f64 (neg.f64 (.f64 PI.f64 l)) (.f64 F F))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `associate-/l_binary64` `times-frac_binary64`
4×	`pow1_binary64`
3×	`associate-r_binary64` `associate-l_binary64`
2×	`add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `neg-mul-1_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-/r_binary64` `neg-sub0_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `distribute-frac-neg_binary64` `-commutative_binary64`

Counts

2 → 47

Calls

4 calls:

6.0ms	(*.f64 PI.f64 l)
5.0ms	(/.f64 (neg.f64 (.f64 PI.f64 l)) (.f64 F F))
0.0ms	(*.f64 PI.f64 l)
0.0ms	(/.f64 (neg.f64 (.f64 PI.f64 l)) (.f64 F F))

series127.0ms (0.3%)

Counts

2 → 9

Calls

2 calls:

103.0ms	(/.f64 (neg.f64 (.f64 PI.f64 l)) (.f64 F F))
25.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 156 to 150 computations (3.8% saved)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5461	656

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

3.3b	(log.f64 (pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F)))))
1.0b	(exp.f64 PI.f64)
0.0b	(pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F))))
0.0b	(-.f64 l (/.f64 l (*.f64 F F)))
0.0b	(pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F))))
1.0b	(exp.f64 PI.f64)
3.3b	(log.f64 (pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F)))))
6.6b	(/.f64 l (*.f64 F F))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64` `unpow-prod-up_binary64`
15×	`log-prod_binary64`
14×	`cancel-sign-sub-inv_binary64`
10×	`add-exp-log_binary64` `times-frac_binary64`
9×	`add-cbrt-cube_binary64`
6×	`pow-unpow_binary64` `unpow-prod-down_binary64` `exp-prod_binary64`
5×	`add-log-exp_binary64` `pow1_binary64`
4×	`pow-pow_binary64`
3×	`rem-log-exp_binary64` `associate-/l*_binary64` `div-inv_binary64`
2×	`pow-to-exp_binary64` `sub-neg_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `pow-sub_binary64` `difference-of-squares_binary64` `div-exp_binary64` `pow-exp_binary64`
1×	`associate-/r*_binary64` `cbrt-unprod_binary64` `log-pow_binary64` `rem-exp-log_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `log-div_binary64`

Counts

4 → 91

Calls

8 calls:

8.0ms	(pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F))))
5.0ms	(log.f64 (pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F)))))
5.0ms	(/.f64 l (*.f64 F F))
2.0ms	(exp.f64 PI.f64)
0.0ms	(-.f64 l (/.f64 l (*.f64 F F)))

series1.4s (3.3%)

Counts

4 → 25

Calls

4 calls:

1.2s	(log.f64 (pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F)))))
151.0ms	(pow.f64 (exp.f64 PI.f64) (-.f64 l (/.f64 l (*.f64 F F))))
68.0ms	(/.f64 l (*.f64 F F))
0.0ms	(exp.f64 PI.f64)

Compiler

Compiled 728 to 556 computations (23.6% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4993	1950
1	4993	1950

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 PI.f64 (sqrt.f64 l))
0.1b	(/.f64 (tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F)
0.1b	(.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F)))
0.2b	(*.f64 PI.f64 (sqrt.f64 l))
0.2b	(.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))
0.3b	(*.f64 PI.f64 l)
19.2b	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
15×	`associate-r_binary64`
13×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`associate-l_binary64` `sqrt-prod_binary64`
5×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64`
3×	`unswap-sqr_binary64` `*-commutative_binary64`
1×	`tan-quot_binary64`

Counts

4 → 69

Calls

8 calls:

7.0ms	(.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))
5.0ms	(*.f64 PI.f64 (sqrt.f64 l))
4.0ms	(*.f64 PI.f64 l)
3.0ms	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F)))

series116.0ms (0.3%)

Counts

4 → 12

Calls

4 calls:

54.0ms	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))
25.0ms	(*.f64 PI.f64 l)
20.0ms	(.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))
17.0ms	(*.f64 PI.f64 (sqrt.f64 l))

Compiler

Compiled 520 to 394 computations (24.2% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5086	712

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (.f64 PI.f64 l)))))
0.0b	(sqrt.f64 (cos.f64 (*.f64 PI.f64 l)))
0.0b	(sqrt.f64 (cos.f64 (*.f64 PI.f64 l)))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (*.f64 PI.f64 l)))))))
3.4b	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (.f64 PI.f64 l))))))
31.7b	(sin.f64 (*.f64 PI.f64 l))
31.7b	(cos.f64 (*.f64 PI.f64 l))
31.7b	(cos.f64 (*.f64 PI.f64 l))

rewrite36.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`add-exp-log_binary64`
40×	`add-cbrt-cube_binary64`
37×	`prod-exp_binary64`
26×	`div-exp_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`cbrt-unprod_binary64`
13×	`times-frac_binary64`
12×	`cbrt-undiv_binary64`
10×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`pow1_binary64` `1-exp_binary64` `unswap-sqr_binary64` `rec-exp_binary64`
4×	`add-log-exp_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 83

Calls

8 calls:

19.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (.f64 PI.f64 l))))))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
2.0ms	(sin.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (*.f64 PI.f64 l)))))))

series250.0ms (0.6%)

Counts

4 → 16

Calls

4 calls:

203.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (sqrt.f64 (cos.f64 (.f64 PI.f64 l))) (sqrt.f64 (cos.f64 (.f64 PI.f64 l))))))
20.0ms	(sin.f64 (*.f64 PI.f64 l))
14.0ms	(cos.f64 (*.f64 PI.f64 l))
13.0ms	(cos.f64 (*.f64 PI.f64 l))

Compiler

Compiled 735 to 448 computations (39% saved)

simplify121.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4947	2036
1	4947	2036

prune6.6s (14.9%)

Pruning

345 alts after pruning (336 fresh and 9 done)

	Pruned	Kept	Total
New	257	116	373
Fresh	6	220	226
Picked	0	0	0
Done	1	9	10
Total	264	345	609

Error

0.2b

Counts

609 → 345

Compiler

Compiled 11463 to 5623 computations (50.9% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

2 calls:

4.0ms	(*.f64 PI.f64 l)
0.0ms	(*.f64 PI.f64 l)

series19.0ms (0%)

Counts

1 → 3

Calls

1 calls:

19.0ms

(*.f64 PI.f64 l)

Compiler

Compiled 30 to 36 computations (-20% saved)

simplify68.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4981	152
1	4981	152

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

2 calls:

4.0ms	(*.f64 PI.f64 l)
0.0ms	(*.f64 PI.f64 l)

series19.0ms (0%)

Counts

1 → 3

Calls

1 calls:

19.0ms

(*.f64 PI.f64 l)

Compiler

Compiled 30 to 36 computations (-20% saved)

simplify64.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4981	152
1	4981	152

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.1b	(/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l)))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))))
0.3b	(*.f64 (/.f64 1 F) (/.f64 1 F))
3.4b	(.f64 (.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
31.7b	(sin.f64 (*.f64 PI.f64 l))
31.7b	(cos.f64 (*.f64 PI.f64 l))

rewrite56.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

177×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
66×	`add-sqr-sqrt_binary64`
65×	`div-exp_binary64`
58×	`times-frac_binary64`
57×	`add-cbrt-cube_binary64`
47×	`*-un-lft-identity_binary64`
39×	`add-cube-cbrt_binary64`
26×	`associate-r_binary64`
24×	`pow1_binary64` `1-exp_binary64` `rec-exp_binary64`
22×	`cbrt-unprod_binary64`
17×	`cbrt-undiv_binary64`
15×	`swap-sqr_binary64`
14×	`associate-l_binary64`
11×	`unswap-sqr_binary64`
8×	`inv-pow_binary64` `pow-flip_binary64`
7×	`div-inv_binary64` `frac-times_binary64` `associate-*l/_binary64`
6×	`pow-prod-down_binary64`
5×	`pow-prod-up_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64`
3×	`un-div-inv_binary64` `pow-sqr_binary64`
2×	`*-commutative_binary64`
1×	`pow-plus_binary64` `pow2_binary64`

Counts

4 → 188

Calls

8 calls:

18.0ms	(.f64 (.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
13.0ms	(*.f64 (/.f64 1 F) (/.f64 1 F))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
2.0ms	(sin.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))))

series263.0ms (0.6%)

Counts

4 → 19

Calls

4 calls:

189.0ms	(.f64 (.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 (sin.f64 (.f64 PI.f64 l)) (cos.f64 (.f64 PI.f64 l))))
28.0ms	(cos.f64 (*.f64 PI.f64 l))
24.0ms	(sin.f64 (*.f64 PI.f64 l))
21.0ms	(*.f64 (/.f64 1 F) (/.f64 1 F))

Compiler

Compiled 710 to 494 computations (30.4% saved)

simplify99.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4949	3134
1	4949	3134

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.1b	(/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (.f64 PI.f64 l)))
0.1b	(exp.f64 (sin.f64 (*.f64 PI.f64 l)))
0.0b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (*.f64 PI.f64 l)))))
3.6b	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (.f64 PI.f64 l))))
4.9b	(log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 l))))
31.7b	(sin.f64 (*.f64 PI.f64 l))
31.7b	(cos.f64 (*.f64 PI.f64 l))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`add-exp-log_binary64`
35×	`add-sqr-sqrt_binary64`
31×	`times-frac_binary64`
25×	`associate-r_binary64` `add-cbrt-cube_binary64`
24×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
20×	`prod-exp_binary64`
16×	`log-pow_binary64`
15×	`div-exp_binary64`
12×	`exp-prod_binary64`
10×	`pow1_binary64`
8×	`cbrt-unprod_binary64`
7×	`cbrt-undiv_binary64` `associate-l_binary64`
6×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64`
3×	`log-prod_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `rem-log-exp_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 99

Calls

8 calls:

19.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (.f64 PI.f64 l))))
3.0ms	(log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 l))))
2.0ms	(sin.f64 (*.f64 PI.f64 l))
2.0ms	(cos.f64 (*.f64 PI.f64 l))
0.0ms	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (*.f64 PI.f64 l)))))

series441.0ms (1%)

Counts

4 → 19

Calls

4 calls:

325.0ms	(.f64 (/.f64 1 (.f64 F F)) (/.f64 (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 l)))) (cos.f64 (.f64 PI.f64 l))))
75.0ms	(log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 l))))
24.0ms	(cos.f64 (*.f64 PI.f64 l))
17.0ms	(sin.f64 (*.f64 PI.f64 l))

Compiler

Compiled 744 to 520 computations (30.1% saved)

simplify99.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4942	2436
1	4942	2436

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F))
0.1b	(sqrt.f64 (*.f64 PI.f64 l))
0.1b	(sqrt.f64 (*.f64 PI.f64 l))
0.0b	(-.f64 (.f64 (sqrt.f64 (.f64 PI.f64 l)) (sqrt.f64 (.f64 PI.f64 l))) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F)))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.3b	(.f64 (sqrt.f64 (.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)))
19.2b	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`pow1_binary64`
28×	`sqrt-pow1_binary64`
22×	`pow-prod-down_binary64`
18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1/2_binary64` `associate-r_binary64` `pow-prod-up_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
6×	`pow-sqr_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `sqrt-prod_binary64`
3×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
1×	`rem-square-sqrt_binary64` `pow-plus_binary64` `sqrt-unprod_binary64` `pow2_binary64` `tan-quot_binary64`

Counts

4 → 93

Calls

8 calls:

11.0ms	(.f64 (sqrt.f64 (.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
3.0ms	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))
0.0ms	(-.f64 (.f64 (sqrt.f64 (.f64 PI.f64 l)) (sqrt.f64 (.f64 PI.f64 l))) (.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l))) F)))

series123.0ms (0.3%)

Counts

4 → 12

Calls

4 calls:

54.0ms	(tan.f64 (.f64 (.f64 PI.f64 (sqrt.f64 l)) (sqrt.f64 l)))
25.0ms	(*.f64 PI.f64 l)
22.0ms	(.f64 (sqrt.f64 (.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)))
21.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 634 to 429 computations (32.3% saved)

simplify68.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4983	745
1	4983	745

prune9.6s (21.8%)

Pruning

448 alts after pruning (434 fresh and 14 done)

	Pruned	Kept	Total
New	356	116	472
Fresh	13	318	331
Picked	0	0	0
Done	0	14	14
Total	369	448	817

Error

0.2b

Counts

817 → 448

Compiler

Compiled 6086 to 1761 computations (71.1% saved)

simplify359.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5712	25091

regimes9.1s (20.7%)

Compiler: Compiled 66623 to 41237 computations (38.1% saved)

bsearch19.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes482.0ms (1.1%)

Compiler: Compiled 2058 to 1656 computations (19.5% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes357.0ms (0.8%)

Compiler: Compiled 1451 to 1195 computations (17.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes294.0ms (0.7%)

Compiler: Compiled 824 to 771 computations (6.4% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes277.0ms (0.6%)

Compiler: Compiled 769 to 731 computations (4.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes269.0ms (0.6%)

Compiler: Compiled 370 to 383 computations (-3.5% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes208.0ms (0.5%)

Compiler: Compiled 280 to 303 computations (-8.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes181.0ms (0.4%)

Compiler: Compiled 168 to 205 computations (-22% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes170.0ms (0.4%)

Compiler: Compiled 136 to 177 computations (-30.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

regimes28.0ms (0.1%)

Compiler: Compiled 28 to 55 computations (-96.4% saved)

bsearch0.0ms (0%)

regimes16.0ms (0%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch17.0ms (0%)

Compiler: Compiled 440 to 201 computations (54.3% saved)

simplify15.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	288	667
1	288	667

end0.0ms (0%)

sample3.5s (7.9%)

Algorithm

1×

intervals

Results

890.0ms	998×	body	2048	valid
471.0ms	1789×	body	1024	valid
219.0ms	4154×	body	128	valid
138.0ms	42×	body	4096	valid
130.0ms	708×	body	512	valid
38.0ms	309×	body	256	valid
10.0ms	172×	body	128	invalid
1.0ms	3×	body	8192	exit
1.0ms	3×	body	2048	invalid

Compiler

Compiled 11906 to 7294 computations (38.7% saved)