Details

analyze187.0ms (0.3%)

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%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
12.5%	43.7%	43.8%	7
12.5%	43.7%	43.8%	8
25%	28.1%	47%	9
28.1%	20.3%	51.6%	10
28.1%	20.3%	51.6%	11
34.3%	13.3%	52.4%	12
35.9%	9.8%	54.4%	13
35.9%	9.8%	54.4%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample25.0ms (0%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
0.0ms	7×	body	128	invalid
0.0ms	5×	body	128	nan

Compiler

Compiled 25 to 26 computations (-4% saved)

simplify447.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (358.0ms)

Iter	Nodes	Cost
0	4889	18
1	4889	18

prune2.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.1b

Counts

2 → 1

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_9285`
8×	`add-sqr-sqrt_binary64_9307` `pow1_binary64_9346` `distribute-lft-out_binary64_9236`
7×	`associate-r_binary64_9225`
6×	`add-cube-cbrt_binary64_9320`
5×	`add-log-exp_binary64_9324`
4×	`associate-+l+_binary64_9218` `log-pow_binary64_9374` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323` `distribute-lft-out--_binary64_9237`
3×	`log-prod_binary64_9371` `associate-+r+_binary64_9217` `cancel-sign-sub-inv_binary64_9251` `associate-l_binary64_9226`
2×	`flip-+_binary64_9259` `associate-*r/_binary64_9227` `sum-log_binary64_9376` `flip3-+_binary64_9288`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `distribute-lft-in_binary64_9234` `sub-neg_binary64_9278` `distribute-rgt-in_binary64_9235` `pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `associate-+l-_binary64_9220` `*-commutative_binary64_9216` `diff-log_binary64_9377` `+-commutative_binary64_9215`

Counts

2 → 50

Calls

4 calls:

13.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
9.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

series208.0ms (0.4%)

Counts

2 → 13

Calls

2 calls:

148.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
60.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

Compiler

Compiled 278 to 251 computations (9.7% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5375	726

prune191.0ms (0.3%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	37	26	63
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	37	27	64

Error

0.0b

Counts

64 → 27

Compiler

Compiled 1139 to 795 computations (30.2% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))
0.0b	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0b	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.2b	(*.f64 y (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))

rewrite36.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`*-un-lft-identity_binary64_9285`
36×	`distribute-lft-out_binary64_9236`
22×	`pow1_binary64_9346`
18×	`log-pow_binary64_9374`
13×	`associate-r_binary64_9225`
8×	`distribute-lft-out--_binary64_9237`
7×	`add-sqr-sqrt_binary64_9307`
6×	`add-log-exp_binary64_9324`
5×	`sum-log_binary64_9376` `add-cube-cbrt_binary64_9320`
4×	`add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
3×	`log-prod_binary64_9371` `associate-+r+_binary64_9217` `associate-l_binary64_9226`
2×	`associate-+l-_binary64_9220` `flip-+_binary64_9259` `associate-*r/_binary64_9227` `flip3-+_binary64_9288`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `associate-+l+_binary64_9218` `pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216` `diff-log_binary64_9377` `+-commutative_binary64_9215`

Counts

2 → 60

Calls

4 calls:

17.0ms	(*.f64 y (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))
13.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0ms	(*.f64 y (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))

series202.0ms (0.3%)

Counts

2 → 13

Calls

2 calls:

143.0ms	(*.f64 y (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))
58.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))

Compiler

Compiled 278 to 251 computations (9.7% saved)

simplify123.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5354	769

localize6.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.2b	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`*-un-lft-identity_binary64_9285`
12×	`add-sqr-sqrt_binary64_9307`
11×	`associate-r_binary64_9225`
8×	`unpow-prod-down_binary64_9364` `distribute-lft-out_binary64_9236`
7×	`pow1_binary64_9346` `add-exp-log_binary64_9323` `add-cube-cbrt_binary64_9320`
5×	`add-log-exp_binary64_9324`
4×	`associate-+l+_binary64_9218` `log-pow_binary64_9374` `add-cbrt-cube_binary64_9321` `distribute-lft-out--_binary64_9237`
3×	`log-prod_binary64_9371` `associate-+r+_binary64_9217` `cancel-sign-sub-inv_binary64_9251` `prod-exp_binary64_9334` `unswap-sqr_binary64_9253` `associate-l_binary64_9226`
2×	`sqr-pow_binary64_9257` `sum-log_binary64_9376`
1×	`cbrt-unprod_binary64_9318` `sub-neg_binary64_9278` `pow-exp_binary64_9353` `pow-prod-down_binary64_9356` `associate-+l-_binary64_9220` `flip-+_binary64_9259` `*-commutative_binary64_9216` `pow-to-exp_binary64_9354` `diff-log_binary64_9377` `flip3-+_binary64_9288` `+-commutative_binary64_9215`

Counts

2 → 54

Calls

4 calls:

13.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
9.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))

series203.0ms (0.3%)

Counts

2 → 13

Calls

2 calls:

144.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
58.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

Compiler

Compiled 294 to 267 computations (9.2% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5009	807

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.0b	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (log.f64 z) (log.f64 z)))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
7.5b	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))

rewrite81.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`*-un-lft-identity_binary64_9285`
46×	`add-sqr-sqrt_binary64_9307`
30×	`pow1_binary64_9346`
25×	`distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235`
24×	`add-cube-cbrt_binary64_9320`
20×	`cancel-sign-sub-inv_binary64_9251`
18×	`distribute-lft-out--_binary64_9237`
16×	`associate--l+_binary64_9222`
15×	`add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
14×	`swap-sqr_binary64_9252` `associate-r_binary64_9225`
13×	`associate-l_binary64_9226`
11×	`difference-of-squares_binary64_9254`
10×	`log-pow_binary64_9374`
9×	`flip--_binary64_9260` `flip3--_binary64_9289`
8×	`sub-neg_binary64_9278` `times-frac_binary64_9291` `associate-/r*_binary64_9229`
6×	`log-prod_binary64_9371` `associate-*r/_binary64_9227`
4×	`cbrt-unprod_binary64_9318` `frac-times_binary64_9295` `prod-exp_binary64_9334` `add-log-exp_binary64_9324`
3×	`pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
2×	`associate-/l/_binary64_9232` `associate-*l/_binary64_9228` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `pow-plus_binary64_9348` `pow-prod-up_binary64_9355` `associate-/r/_binary64_9231` `pow2_binary64_9366` `pow-sqr_binary64_9258`
1×	`clear-num_binary64_9284` `frac-2neg_binary64_9296` `associate-/l*_binary64_9230` `div-inv_binary64_9282`

Counts

4 → 164

Calls

8 calls:

23.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))
17.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
15.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))
5.0ms	(*.f64 (log.f64 z) (log.f64 z))
0.0ms	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (log.f64 z) (log.f64 z)))

series776.0ms (1.3%)

Counts

4 → 31

Calls

4 calls:

384.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))
273.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
68.0ms	(*.f64 (log.f64 z) (log.f64 z))
51.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))

Compiler

Compiled 1361 to 1064 computations (21.8% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5075	3260

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.1b	(sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.1b	(sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
0.3b	(.f64 (sqrt.f64 (.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))) (sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))))

rewrite72.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`pow1_binary64_9346`
30×	`sqrt-pow1_binary64_9303`
28×	`*-un-lft-identity_binary64_9285`
23×	`pow-prod-down_binary64_9356`
20×	`associate-*r/_binary64_9227`
18×	`add-sqr-sqrt_binary64_9307` `associate-r_binary64_9225`
14×	`sqrt-div_binary64_9302`
12×	`add-cube-cbrt_binary64_9320`
11×	`pow1/2_binary64_9365`
10×	`associate-l_binary64_9226` `pow-prod-up_binary64_9355` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
9×	`flip-+_binary64_9259` `flip3-+_binary64_9288`
8×	`distribute-lft-out_binary64_9236`
6×	`pow-sqr_binary64_9258`
5×	`sqrt-prod_binary64_9301`
4×	`swap-sqr_binary64_9252` `frac-times_binary64_9295` `log-pow_binary64_9374` `add-log-exp_binary64_9324` `distribute-lft-out--_binary64_9237`
3×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
2×	`associate-*l/_binary64_9228` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235`
1×	`pow-plus_binary64_9348` `sqrt-unprod_binary64_9305` `pow2_binary64_9366` `rem-square-sqrt_binary64_9297`

Counts

4 → 122

Calls

8 calls:

28.0ms	(.f64 (sqrt.f64 (.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))) (sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))))
11.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
11.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
8.0ms	(sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

series573.0ms (1%)

Counts

4 → 30

Calls

4 calls:

193.0ms	(.f64 (sqrt.f64 (.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))) (sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))))
146.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
140.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))
93.0ms	(sqrt.f64 (*.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))

Compiler

Compiled 1593 to 1216 computations (23.7% saved)

simplify125.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4937	2147
1	4937	2147

prune4.1s (6.9%)

Pruning

152 alts after pruning (146 fresh and 6 done)

	Pruned	Kept	Total
New	360	127	487
Fresh	2	19	21
Picked	0	0	0
Done	0	6	6
Total	362	152	514

Error

Counts

514 → 152

Compiler

Compiled 10428 to 7045 computations (32.4% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.2b	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`*-un-lft-identity_binary64_9285`
12×	`add-sqr-sqrt_binary64_9307`
11×	`associate-r_binary64_9225`
8×	`unpow-prod-down_binary64_9364` `distribute-lft-out_binary64_9236`
7×	`pow1_binary64_9346` `add-exp-log_binary64_9323` `add-cube-cbrt_binary64_9320`
5×	`add-log-exp_binary64_9324`
4×	`associate-+l+_binary64_9218` `log-pow_binary64_9374` `add-cbrt-cube_binary64_9321` `distribute-lft-out--_binary64_9237`
3×	`log-prod_binary64_9371` `associate-+r+_binary64_9217` `cancel-sign-sub-inv_binary64_9251` `prod-exp_binary64_9334` `unswap-sqr_binary64_9253` `associate-l_binary64_9226`
2×	`sqr-pow_binary64_9257` `sum-log_binary64_9376`
1×	`cbrt-unprod_binary64_9318` `sub-neg_binary64_9278` `pow-exp_binary64_9353` `pow-prod-down_binary64_9356` `associate-+l-_binary64_9220` `flip-+_binary64_9259` `*-commutative_binary64_9216` `pow-to-exp_binary64_9354` `diff-log_binary64_9377` `flip3-+_binary64_9288` `+-commutative_binary64_9215`

Counts

2 → 54

Calls

4 calls:

14.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
9.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
0.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))

series187.0ms (0.3%)

Counts

2 → 13

Calls

2 calls:

137.0ms	(*.f64 y (pow.f64 (+.f64 (-.f64 1 z) (log.f64 z)) 1))
49.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

Compiler

Compiled 338 to 311 computations (8% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5009	807

localize8.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z))))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.0b	(-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (*.f64 (log.f64 z) (log.f64 z)))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
4.6b	(.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z))))
7.5b	(/.f64 (.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))

rewrite93.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`*-un-lft-identity_binary64_9285`
57×	`distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235`
50×	`add-sqr-sqrt_binary64_9307`
32×	`cancel-sign-sub-inv_binary64_9251` `associate--l+_binary64_9222`
30×	`pow1_binary64_9346`
28×	`add-cube-cbrt_binary64_9320`
18×	`distribute-lft-out--_binary64_9237`
15×	`add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
14×	`swap-sqr_binary64_9252`
13×	`associate-l_binary64_9226` `associate-r_binary64_9225`
12×	`sub-neg_binary64_9278`
10×	`log-pow_binary64_9374` `difference-of-squares_binary64_9254`
9×	`flip--_binary64_9260` `flip3--_binary64_9289`
8×	`times-frac_binary64_9291` `associate-/r*_binary64_9229`
6×	`log-prod_binary64_9371` `associate-*r/_binary64_9227`
4×	`cbrt-unprod_binary64_9318` `frac-times_binary64_9295` `prod-exp_binary64_9334` `add-log-exp_binary64_9324`
3×	`pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
2×	`associate-/l/_binary64_9232` `associate-*l/_binary64_9228` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `pow-plus_binary64_9348` `pow-prod-up_binary64_9355` `associate-/r/_binary64_9231` `pow2_binary64_9366` `pow-sqr_binary64_9258`
1×	`clear-num_binary64_9284` `frac-2neg_binary64_9296` `associate-/l*_binary64_9230` `div-inv_binary64_9282`

Counts

4 → 179

Calls

8 calls:

29.0ms	(/.f64 (.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))
20.0ms	(.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z))))
15.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))
5.0ms	(*.f64 (log.f64 z) (log.f64 z))
0.0ms	(-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (*.f64 (log.f64 z) (log.f64 z)))

series796.0ms (1.4%)

Counts

4 → 31

Calls

4 calls:

387.0ms	(/.f64 (.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z)))) (-.f64 (-.f64 1 z) (log.f64 z)))
287.0ms	(.f64 y (-.f64 (.f64 1 (.f64 (-.f64 1 z) (-.f64 1 z))) (.f64 (log.f64 z) (log.f64 z))))
72.0ms	(*.f64 (log.f64 z) (log.f64 z))
50.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))

Compiler

Compiled 1397 to 1100 computations (21.3% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5041	3680

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))))
0.5b	(*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.0b	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z))))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.5b	(*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))
4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))))
7.5b	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z))))) (-.f64 (-.f64 1 z) (log.f64 z)))

rewrite76.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`*-un-lft-identity_binary64_9285`
44×	`add-sqr-sqrt_binary64_9307`
24×	`pow1_binary64_9346`
22×	`distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `add-cube-cbrt_binary64_9320`
20×	`cancel-sign-sub-inv_binary64_9251`
18×	`distribute-lft-out--_binary64_9237`
16×	`associate--l+_binary64_9222`
15×	`add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
13×	`associate-r_binary64_9225`
12×	`associate-l_binary64_9226`
11×	`swap-sqr_binary64_9252` `difference-of-squares_binary64_9254`
9×	`flip--_binary64_9260` `flip3--_binary64_9289`
8×	`sub-neg_binary64_9278` `times-frac_binary64_9291` `associate-/r*_binary64_9229`
6×	`associate-*r/_binary64_9227`
4×	`cbrt-unprod_binary64_9318` `frac-times_binary64_9295` `prod-exp_binary64_9334` `log-pow_binary64_9374` `add-log-exp_binary64_9324`
3×	`pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
2×	`associate-/l/_binary64_9232` `associate-*l/_binary64_9228` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `pow-plus_binary64_9348` `pow-prod-up_binary64_9355` `associate-/r/_binary64_9231` `pow2_binary64_9366` `pow-sqr_binary64_9258`
1×	`clear-num_binary64_9284` `sqr-abs_binary64_9300` `frac-2neg_binary64_9296` `associate-/l*_binary64_9230` `div-inv_binary64_9282`

Counts

4 → 154

Calls

8 calls:

23.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z))))) (-.f64 (-.f64 1 z) (log.f64 z)))
17.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))))
12.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))
4.0ms	(*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))
0.0ms	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z))))

series612.0ms (1%)

Counts

4 → 32

Calls

4 calls:

309.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z))))) (-.f64 (-.f64 1 z) (log.f64 z)))
228.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))))
47.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))
28.0ms	(*.f64 (fabs.f64 (log.f64 z)) (fabs.f64 (log.f64 z)))

Compiler

Compiled 1430 to 1099 computations (23.1% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5064	3527

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z))))
0.0b	(+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3))
0.0b	(*.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))
0.0b	(pow.f64 (-.f64 1 z) 3)
0.2b	(.f64 y (pow.f64 (/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (*.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z))))) 1))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.7b	(pow.f64 (log.f64 z) 3)
15.3b	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))

rewrite159.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

306×	`*-un-lft-identity_binary64_9285`
187×	`unpow-prod-down_binary64_9364`
127×	`times-frac_binary64_9291`
119×	`distribute-lft-out_binary64_9236`
116×	`cube-prod_binary64_9313`
77×	`associate-r_binary64_9225` `pow1_binary64_9346`
76×	`add-sqr-sqrt_binary64_9307`
66×	`add-cube-cbrt_binary64_9320`
64×	`log-pow_binary64_9374`
56×	`distribute-lft-out--_binary64_9237`
21×	`associate-/l*_binary64_9230`
17×	`add-exp-log_binary64_9323`
11×	`add-cbrt-cube_binary64_9321`
7×	`associate-l_binary64_9226` `sum-cubes_binary64_9286`
6×	`swap-sqr_binary64_9252` `log-prod_binary64_9371`
5×	`prod-exp_binary64_9334` `unswap-sqr_binary64_9253`
4×	`add-log-exp_binary64_9324` `associate-/r/_binary64_9231`
3×	`sqr-pow_binary64_9257` `distribute-lft-in_binary64_9234` `pow-exp_binary64_9353` `distribute-rgt-in_binary64_9235` `flip-+_binary64_9259` `pow-unpow_binary64_9362` `flip3-+_binary64_9288` `associate-/r*_binary64_9229`
2×	`associate-/l/_binary64_9232` `cbrt-unprod_binary64_9318` `div-exp_binary64_9336` `pow-prod-down_binary64_9356` `*-commutative_binary64_9216` `pow-to-exp_binary64_9354` `div-inv_binary64_9282`
1×	`clear-num_binary64_9284` `unpow3_binary64_9351` `pow-pow_binary64_9357` `cbrt-undiv_binary64_9319` `pow-plus_binary64_9348` `pow-prod-up_binary64_9355` `cube-mult_binary64_9315` `frac-2neg_binary64_9296` `pow2_binary64_9366` `rem-cube-cbrt_binary64_9308` `pow-sqr_binary64_9258`

Counts

4 → 258

Calls

8 calls:

52.0ms	(.f64 y (pow.f64 (/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (*.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z))))) 1))
36.0ms	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))
5.0ms	(*.f64 (log.f64 z) (log.f64 z))
3.0ms	(pow.f64 (log.f64 z) 3)
0.0ms	(pow.f64 (-.f64 1 z) 3)

series1.5s (2.6%)

Counts

4 → 19

Calls

4 calls:

966.0ms	(.f64 y (pow.f64 (/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (*.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z))))) 1))
369.0ms	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))
89.0ms	(pow.f64 (log.f64 z) 3)
70.0ms	(*.f64 (log.f64 z) (log.f64 z))

Compiler

Compiled 1856 to 1361 computations (26.7% saved)

simplify157.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

277 → 277

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4953	11054
1	4953	11054

prune12.3s (21%)

Pruning

331 alts after pruning (321 fresh and 10 done)

	Pruned	Kept	Total
New	547	193	740
Fresh	13	128	141
Picked	0	0	0
Done	1	10	11
Total	561	331	892

Error

Counts

892 → 331

Compiler

Compiled 24465 to 16540 computations (32.4% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 y (pow.f64 (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)) 1))
0.0b	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0b	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.2b	(*.f64 y (pow.f64 (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)) 1))

rewrite43.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64_9285`
36×	`distribute-lft-out_binary64_9236`
21×	`pow1_binary64_9346`
18×	`log-pow_binary64_9374`
17×	`associate-r_binary64_9225`
14×	`unpow-prod-down_binary64_9364`
11×	`add-sqr-sqrt_binary64_9307`
8×	`distribute-lft-out--_binary64_9237`
7×	`add-exp-log_binary64_9323`
6×	`add-log-exp_binary64_9324` `add-cube-cbrt_binary64_9320`
5×	`sum-log_binary64_9376`
4×	`add-cbrt-cube_binary64_9321`
3×	`log-prod_binary64_9371` `associate-+r+_binary64_9217` `prod-exp_binary64_9334` `unswap-sqr_binary64_9253` `associate-l_binary64_9226`
2×	`sqr-pow_binary64_9257` `associate-+l-_binary64_9220`
1×	`cbrt-unprod_binary64_9318` `pow-exp_binary64_9353` `associate-+l+_binary64_9218` `pow-prod-down_binary64_9356` `flip-+_binary64_9259` `*-commutative_binary64_9216` `pow-to-exp_binary64_9354` `diff-log_binary64_9377` `flip3-+_binary64_9288` `+-commutative_binary64_9215`

Counts

2 → 64

Calls

4 calls:

20.0ms	(*.f64 y (pow.f64 (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)) 1))
13.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))
0.0ms	(*.f64 y (pow.f64 (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)) 1))

series200.0ms (0.3%)

Counts

2 → 13

Calls

2 calls:

142.0ms	(*.f64 y (pow.f64 (+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)) 1))
58.0ms	(+.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z))

Compiler

Compiled 338 to 311 computations (8% saved)

simplify129.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	5170	850

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(*.f64 y (+.f64 1 (log.f64 z)))
0.0b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 1 (log.f64 z))))
0.0b	(+.f64 1 (log.f64 z))
0.0b	(+.f64 1 (log.f64 z))
0.0b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 1 (log.f64 z))))
0.2b	(*.f64 y (+.f64 1 (log.f64 z)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_9285`
8×	`add-sqr-sqrt_binary64_9307`
7×	`pow1_binary64_9346`
6×	`add-log-exp_binary64_9324` `add-cube-cbrt_binary64_9320`
5×	`associate-+r+_binary64_9217` `associate-r_binary64_9225` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
4×	`distribute-lft-out_binary64_9236`
3×	`log-prod_binary64_9371` `associate-l_binary64_9226` `flip-+_binary64_9259` `flip3-+_binary64_9288`
2×	`distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `log-pow_binary64_9374` `associate-*r/_binary64_9227` `sum-log_binary64_9376` `+-commutative_binary64_9215`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`

Counts

3 → 53

Calls

6 calls:

7.0ms	(*.f64 y (+.f64 1 (log.f64 z)))
4.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 1 (log.f64 z))))
4.0ms	(+.f64 1 (log.f64 z))
0.0ms	(+.f64 1 (log.f64 z))
0.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 1 (log.f64 z))))

series452.0ms (0.8%)

Counts

3 → 24

Calls

3 calls:

269.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 1 (log.f64 z))))
133.0ms	(*.f64 y (+.f64 1 (log.f64 z)))
50.0ms	(+.f64 1 (log.f64 z))

Compiler

Compiled 433 to 421 computations (2.8% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5149	910

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.0b	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (log.f64 z) (log.f64 z)))
0.0b	(*.f64 (-.f64 1 z) (-.f64 1 z))
0.5b	(*.f64 (log.f64 z) (log.f64 z))
4.6b	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
7.5b	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))

rewrite85.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`*-un-lft-identity_binary64_9285`
46×	`add-sqr-sqrt_binary64_9307`
44×	`pow1_binary64_9346`
34×	`distribute-lft-out--_binary64_9237`
25×	`distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235`
24×	`log-pow_binary64_9374` `add-cube-cbrt_binary64_9320`
20×	`cancel-sign-sub-inv_binary64_9251`
16×	`associate--l+_binary64_9222` `distribute-lft-out_binary64_9236`
15×	`add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
14×	`swap-sqr_binary64_9252` `associate-r_binary64_9225` `times-frac_binary64_9291` `associate-/r*_binary64_9229`
13×	`associate-l_binary64_9226`
11×	`difference-of-squares_binary64_9254`
9×	`flip--_binary64_9260` `flip3--_binary64_9289`
8×	`sub-neg_binary64_9278`
6×	`log-prod_binary64_9371` `associate-*r/_binary64_9227`
4×	`cbrt-unprod_binary64_9318` `frac-times_binary64_9295` `prod-exp_binary64_9334` `add-log-exp_binary64_9324`
3×	`pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `*-commutative_binary64_9216`
2×	`associate-/l/_binary64_9232` `associate-*l/_binary64_9228` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `pow-plus_binary64_9348` `pow-prod-up_binary64_9355` `associate-/r/_binary64_9231` `pow2_binary64_9366` `pow-sqr_binary64_9258`
1×	`clear-num_binary64_9284` `frac-2neg_binary64_9296` `associate-/l*_binary64_9230` `div-inv_binary64_9282`

Counts

4 → 176

Calls

8 calls:

29.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))
16.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
11.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))
5.0ms	(*.f64 (log.f64 z) (log.f64 z))
0.0ms	(-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (.f64 (log.f64 z) (log.f64 z)))

series815.0ms (1.4%)

Counts

4 → 31

Calls

4 calls:

401.0ms	(/.f64 (.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z)))) (-.f64 (+.f64 (-.f64 1 z) (log.f64 1)) (log.f64 z)))
288.0ms	(.f64 y (-.f64 (.f64 (-.f64 1 z) (-.f64 1 z)) (*.f64 (log.f64 z) (log.f64 z))))
75.0ms	(*.f64 (log.f64 z) (log.f64 z))
50.0ms	(*.f64 (-.f64 1 z) (-.f64 1 z))

Compiler

Compiled 1466 to 1169 computations (20.3% saved)

simplify124.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4932	3648
1	4932	3648

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 y (pow.f64 (.f64 (*.f64 (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))) 1))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.5b	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
0.5b	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
0.5b	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
0.5b	(*.f64 (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))))

rewrite69.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

143×	`*-un-lft-identity_binary64_9285`
93×	`cbrt-prod_binary64_9316`
60×	`distribute-lft-out_binary64_9236`
41×	`pow1_binary64_9346`
30×	`swap-sqr_binary64_9252` `log-pow_binary64_9374` `distribute-lft-out--_binary64_9237`
23×	`add-sqr-sqrt_binary64_9307`
18×	`cbrt-div_binary64_9317`
15×	`add-cube-cbrt_binary64_9320`
10×	`associate-l_binary64_9226` `associate-r_binary64_9225`
9×	`flip-+_binary64_9259` `pow1/3_binary64_9367` `flip3-+_binary64_9288`
6×	`add-exp-log_binary64_9323`
4×	`frac-times_binary64_9295` `unswap-sqr_binary64_9253` `add-cbrt-cube_binary64_9321` `add-log-exp_binary64_9324`
2×	`associate-l/_binary64_9228` `pow-prod-down_binary64_9356` `pow-prod-up_binary64_9355` `associate-r/_binary64_9227` `pow-sqr_binary64_9258`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `pow-plus_binary64_9348` `*-commutative_binary64_9216` `pow2_binary64_9366`

Counts

4 → 131

Calls

8 calls:

23.0ms	(*.f64 (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))))
12.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
7.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
7.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
0.0ms	(+.f64 (-.f64 1 z) (log.f64 z))

series460.0ms (0.8%)

Counts

4 → 19

Calls

4 calls:

279.0ms	(*.f64 (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))) (cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z))))
63.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
59.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))
59.0ms	(cbrt.f64 (+.f64 (-.f64 1 z) (log.f64 z)))

Compiler

Compiled 1694 to 1407 computations (16.9% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4950	3478
1	4950	3478

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 z)) 5) (cbrt.f64 (log.f64 z))) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z))))
0.0b	(+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3))
0.0b	(*.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))
0.0b	(pow.f64 (-.f64 1 z) 3)
0.6b	(cbrt.f64 (log.f64 z))
0.7b	(pow.f64 (log.f64 z) 3)
1.0b	(pow.f64 (cbrt.f64 (log.f64 z)) 5)
15.3b	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 z)) 5) (cbrt.f64 (log.f64 z))) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))

rewrite78.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

173×	`*-un-lft-identity_binary64_9285`
75×	`unpow-prod-down_binary64_9364`
68×	`distribute-lft-out_binary64_9236` `cube-prod_binary64_9313`
63×	`times-frac_binary64_9291`
42×	`pow1_binary64_9346`
37×	`add-sqr-sqrt_binary64_9307` `add-cube-cbrt_binary64_9320`
36×	`log-pow_binary64_9374`
32×	`distribute-lft-out--_binary64_9237`
21×	`associate-/l*_binary64_9230`
8×	`cbrt-prod_binary64_9316` `add-exp-log_binary64_9323`
7×	`add-cbrt-cube_binary64_9321`
6×	`pow-unpow_binary64_9362`
4×	`add-log-exp_binary64_9324` `sum-cubes_binary64_9286`
3×	`pow-pow_binary64_9357` `associate-/r*_binary64_9229`
2×	`associate-/l/_binary64_9232` `sqr-pow_binary64_9257` `pow-exp_binary64_9353` `flip-+_binary64_9259` `pow1/3_binary64_9367` `associate-/r/_binary64_9231` `pow-to-exp_binary64_9354` `flip3-+_binary64_9288`
1×	`clear-num_binary64_9284` `unpow3_binary64_9351` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `cube-mult_binary64_9315` `frac-2neg_binary64_9296` `rem-cube-cbrt_binary64_9308` `div-inv_binary64_9282`

Counts

4 → 162

Calls

8 calls:

36.0ms	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 z)) 5) (cbrt.f64 (log.f64 z))) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))
3.0ms	(pow.f64 (log.f64 z) 3)
3.0ms	(pow.f64 (cbrt.f64 (log.f64 z)) 5)
1.0ms	(cbrt.f64 (log.f64 z))
0.0ms	(pow.f64 (-.f64 1 z) 3)

series863.0ms (1.5%)

Counts

4 → 14

Calls

4 calls:

378.0ms	(/.f64 (+.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (log.f64 z) 3)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 z)) 5) (cbrt.f64 (log.f64 z))) (.f64 (-.f64 1 z) (-.f64 (-.f64 1 z) (log.f64 z)))))
223.0ms	(pow.f64 (cbrt.f64 (log.f64 z)) 5)
166.0ms	(cbrt.f64 (log.f64 z))
95.0ms	(pow.f64 (log.f64 z) 3)

Compiler

Compiled 1310 to 1005 computations (23.3% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5135	7104

prune19.2s (32.9%)

Pruning

467 alts after pruning (454 fresh and 13 done)

	Pruned	Kept	Total
New	534	153	687
Fresh	15	301	316
Picked	0	0	0
Done	2	13	15
Total	551	467	1018

Error

Counts

1018 → 467

Compiler

Compiled 12242 to 7985 computations (34.8% saved)

simplify544.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4996	40045
1	4996	40045

regimes9.1s (15.7%)

Compiler: Compiled 117825 to 87930 computations (25.4% saved)

bsearch0.0ms (0%)

regimes168.0ms (0.3%)

Compiler: Compiled 248 to 304 computations (-22.6% saved)

bsearch25.0ms (0%)

Steps

Iters	Range		Point
10	0.014010359975442544	6490368698.966601	0.2806536893406629

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes135.0ms (0.2%)

Compiler: Compiled 88 to 152 computations (-72.7% saved)

bsearch173.0ms (0.3%)

Steps

Iters	Range		Point
9	1.2162671955278044e+77	7.550584343887781e+84	4.3084982654401294e+84
10	-2.2539739729176072e+83	-2.797877580851462e+73	-1.6107614123683765e+83
9	-3.1991558815442847e+119	-4.8379081067532494e+113	-1.3469709636032468e+115
9	-1.3398997122033456e+209	-4.195051302303542e+201	-4.3738624421471156e+201

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes41.0ms (0.1%)

Compiler: Compiled 64 to 124 computations (-93.8% saved)

bsearch0.0ms (0%)

regimes38.0ms (0.1%)

Compiler: Compiled 36 to 96 computations (-166.7% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

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

bsearch5.0ms (0%)

Compiler: Compiled 92 to 75 computations (18.5% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	92	111
1	92	111

end0.0ms (0%)

sample1.3s (2.2%)

Algorithm

1×

intervals

Results

392.0ms	8000×	body	128	valid
16.0ms	330×	body	128	invalid
3.0ms	73×	body	128	nan

Compiler

Compiled 16998 to 12711 computations (25.2% saved)