Details

analyze1.5s (0.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 16 to 16 computations (0% saved)

sample42.0ms (0%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
7.0ms	152×	body	128	invalid

Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify107.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	22
1	67	22

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

Counts

2 → 1

Compiler

Compiled 15 to 15 computations (0% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_2163`
10×	`sum-log_binary64_2215`
3×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
2×	`associate-+l+_binary64_2057`

Counts

3 → 38

Calls

6 calls:

9.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0ms	(+.f64 (.f64 x y) (.f64 z t))

series1.1s (0.7%)

Counts

3 → 108

Calls

3 calls:

698.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
293.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
144.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 2038 to 2234 computations (-9.6% saved)

simplify80.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5006	2201

prune236.0ms (0.1%)

Pruning

32 alts after pruning (31 fresh and 1 done)

	Pruned	Kept	Total
New	115	31	146
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	115	32	147

Error

0.0b

Counts

147 → 32

Compiler

Compiled 1636 to 650 computations (60.3% saved)

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (.f64 a b)) (.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (*.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (*.f64 a b))
0.0b	(+.f64 (+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (.f64 a b)) (.f64 c i))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-log-exp_binary64_2163`
5×	`sum-log_binary64_2215`
3×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
1×	`associate-+l+_binary64_2057`

Counts

3 → 35

Calls

6 calls:

13.0ms	(+.f64 (+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (.f64 a b)) (.f64 c i))
7.0ms	(+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (*.f64 a b))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (*.f64 a b))
0.0ms	(+.f64 (+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (.f64 a b)) (.f64 c i))

series949.0ms (0.6%)

Counts

3 → 108

Calls

3 calls:

504.0ms	(+.f64 (+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (.f64 a b)) (.f64 c i))
299.0ms	(+.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1) (*.f64 a b))
144.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 2110 to 2306 computations (-9.3% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5446	2137

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 c i))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_2163`
4×	`sum-log_binary64_2215`
2×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
1×	`associate-+l+_binary64_2057`

Counts

2 → 24

Calls

4 calls:

7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 c i))

series425.0ms (0.3%)

Counts

2 → 60

Calls

2 calls:

290.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 c i))
134.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 822 to 1086 computations (-32.1% saved)

simplify77.0ms (0%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4975	1056
1	4975	1056

localize18.0ms (0%)

Local error

Found 6 expressions with local error:

5.4b	(log.f64 (exp.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
5.4b	(log.f64 (exp.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_2163`
5×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
4×	`sum-log_binary64_2215` `log-pow_binary64_2213` `pow1_binary64_2185` `log-prod_binary64_2210`
3×	`exp-prod_binary64_2176` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`+-commutative_binary64_2054` `flip3-+_binary64_2127` `flip-+_binary64_2098`
1×	`rem-log-exp_binary64_2165` `associate-+r+_binary64_2056` `exp-sum_binary64_2170`

Counts

3 → 40

Calls

6 calls:

7.0ms	(log.f64 (exp.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
7.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))

series1.3s (0.8%)

Counts

3 → 76

Calls

3 calls:

921.0ms	(log.f64 (exp.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
281.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
94.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1916 to 2012 computations (-5% saved)

simplify68.0ms (0%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5012	1656

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b)) (*.f64 c i))
0.0b	(+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (*.f64 z t))))
0.8b	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
0.8b	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_2146`
24×	`sqrt-prod_binary64_2140`
21×	`pow1_binary64_2185`
16×	`sqrt-div_binary64_2141`
14×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
10×	`sqrt-pow1_binary64_2142` `pow1/2_binary64_2204`
9×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
8×	`swap-sqr_binary64_2091`
6×	`add-log-exp_binary64_2163` `associate-l_binary64_2065` `associate-r_binary64_2064` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
5×	`pow-prod-up_binary64_2194`
4×	`unswap-sqr_binary64_2092` `rem-sqrt-square_binary64_2137` `frac-times_binary64_2134`
3×	`pow-prod-down_binary64_2195` `pow-sqr_binary64_2097`
2×	`associate-l/_binary64_2067` `associate-r/_binary64_2066`
1×	`sqrt-unprod_binary64_2144` `sum-log_binary64_2215` `*-commutative_binary64_2055` `prod-exp_binary64_2173` `pow-plus_binary64_2187` `+-commutative_binary64_2054` `rem-square-sqrt_binary64_2136` `pow2_binary64_2205` `sqr-abs_binary64_2139` `cbrt-unprod_binary64_2157`

Counts

4 → 99

Calls

8 calls:

13.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (*.f64 z t))))
4.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
4.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
0.0ms	(+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b))

series503.0ms (0.3%)

Counts

4 → 76

Calls

4 calls:

151.0ms	(+.f64 (.f64 x y) (.f64 z t))
147.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))) (sqrt.f64 (+.f64 (.f64 x y) (*.f64 z t))))
104.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
100.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))

Compiler

Compiled 2932 to 2530 computations (13.7% saved)

simplify96.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4964	2293
1	4964	2293

prune1.9s (1.2%)

Pruning

110 alts after pruning (104 fresh and 6 done)

	Pruned	Kept	Total
New	430	88	518
Fresh	10	16	26
Picked	0	0	0
Done	0	6	6
Total	440	110	550

Error

0.0b

Counts

550 → 110

Compiler

Compiled 7097 to 2714 computations (61.8% saved)

localize17.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b)) (*.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b))
0.0b	(+.f64 (+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b)) (*.f64 c i))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-log-exp_binary64_2163`
5×	`sum-log_binary64_2215`
3×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `associate-+l+_binary64_2057` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
1×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`

Counts

3 → 37

Calls

6 calls:

10.0ms	(+.f64 (+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b)) (*.f64 c i))
9.0ms	(+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b))
0.0ms	(+.f64 (+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b)) (*.f64 c i))

series960.0ms (0.6%)

Counts

3 → 108

Calls

3 calls:

514.0ms	(+.f64 (+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b)) (*.f64 c i))
294.0ms	(+.f64 (.f64 (sqrt.f64 1) (+.f64 (.f64 x y) (.f64 z t))) (.f64 a b))
152.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 2146 to 2342 computations (-9.1% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4931	2169
1	4931	2169

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

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b	(exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t))))
0.8b	(log.f64 (+.f64 (.f64 x y) (.f64 z t)))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t)))) (*.f64 c i))
0.0b	(+.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t)))) (*.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.8b	(log.f64 (+.f64 (.f64 x y) (.f64 z t)))
2.6b	(exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t))))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64_2163`
7×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
6×	`pow1_binary64_2185` `log-prod_binary64_2210`
5×	`add-exp-log_binary64_2162`
4×	`exp-prod_binary64_2176` `flip3-+_binary64_2127` `log-div_binary64_2211` `flip-+_binary64_2098` `add-cbrt-cube_binary64_2160`
3×	`exp-sum_binary64_2170`
2×	`sum-log_binary64_2215` `log-pow_binary64_2213` `exp-diff_binary64_2172` `+-commutative_binary64_2054`
1×	`rem-log-exp_binary64_2165` `rem-exp-log_binary64_2164`

Counts

4 → 53

Calls

8 calls:

9.0ms	(+.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t)))) (*.f64 c i))
5.0ms	(exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t))))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
4.0ms	(log.f64 (+.f64 (.f64 x y) (.f64 z t)))
0.0ms	(+.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t)))) (*.f64 c i))

series2.6s (1.7%)

Counts

4 → 106

Calls

4 calls:

1.3s	(+.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t)))) (*.f64 c i))
988.0ms	(exp.f64 (log.f64 (+.f64 (.f64 x y) (.f64 z t))))
150.0ms	(+.f64 (.f64 x y) (.f64 z t))
147.0ms	(log.f64 (+.f64 (.f64 x y) (.f64 z t)))

Compiler

Compiled 2944 to 2984 computations (-1.4% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5283	2307

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.3b	(.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (*.f64 z t)))
2.8b	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))))
5.4b	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
25.5b	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

rewrite70.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_2146`
26×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
24×	`times-frac_binary64_2130`
19×	`log-pow_binary64_2213`
18×	`exp-prod_binary64_2176`
12×	`pow1_binary64_2185`
8×	`difference-of-squares_binary64_2093` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
6×	`add-log-exp_binary64_2163` `flip3-+_binary64_2127` `flip-+_binary64_2098`
4×	`flip--_binary64_2099` `flip3--_binary64_2128` `associate-/r/_binary64_2070` `associate-/l*_binary64_2069` `frac-times_binary64_2134`
3×	`swap-sqr_binary64_2091` `associate-/r_binary64_2068` `log-prod_binary64_2210` `associate-l_binary64_2065` `associate-r*_binary64_2064`
2×	`associate--r+_binary64_2060` `associate-l/_binary64_2067` `distribute-rgt-in_binary64_2074` `associate-r/_binary64_2066` `div-sub_binary64_2129` `div-inv_binary64_2121` `associate-/l/_binary64_2071` `distribute-lft-in_binary64_2073`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `cancel-sign-sub-inv_binary64_2090` `rem-log-exp_binary64_2165` `unswap-sqr_binary64_2092` `pow-prod-up_binary64_2194` `exp-diff_binary64_2172` `*-commutative_binary64_2055` `diff-log_binary64_2216` `prod-exp_binary64_2173` `pow-plus_binary64_2187` `sub-neg_binary64_2117` `pow2_binary64_2205` `log-div_binary64_2211` `pow-sqr_binary64_2097` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

4 → 117

Calls

8 calls:

16.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
15.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
11.0ms	(.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (*.f64 z t)))
8.0ms	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))))
0.0ms	(-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))

series4.6s (2.9%)

Counts

4 → 88

Calls

4 calls:

3.3s	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
865.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
351.0ms	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))))
92.0ms	(.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (*.f64 z t)))

Compiler

Compiled 7462 to 5498 computations (26.3% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5058	7463

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4) (cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b)) (*.f64 c i))
0.0b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4) (cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b))
0.3b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))))
0.4b	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4)
0.8b	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
1.4b	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cbrt-prod_binary64_2155`
13×	`add-sqr-sqrt_binary64_2146`
12×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
9×	`unpow-prod-down_binary64_2203` `sqrt-prod_binary64_2140`
6×	`pow1_binary64_2185`
5×	`add-exp-log_binary64_2162`
4×	`cbrt-div_binary64_2156` `sqrt-div_binary64_2141` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`
3×	`pow-unpow_binary64_2201` `pow1/3_binary64_2206` `flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`pow-pow_binary64_2196`
1×	`sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `rem-sqrt-square_binary64_2137` `sqr-pow_binary64_2096` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193`

Counts

4 → 68

Calls

8 calls:

6.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4)
4.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))))
4.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
4.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
0.0ms	(+.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4) (cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) (.f64 a b))

series1.5s (1%)

Counts

4 → 70

Calls

4 calls:

974.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))) 4)
226.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
184.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 z t))))
122.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 z t)))

Compiler

Compiled 5136 to 4290 computations (16.5% saved)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5112	2961

prune9.5s (6%)

Pruning

289 alts after pruning (279 fresh and 10 done)

	Pruned	Kept	Total
New	453	194	647
Fresh	14	85	99
Picked	0	0	0
Done	1	10	11
Total	468	289	757

Error

0.0b

Counts

757 → 289

Compiler

Compiled 21768 to 8733 computations (59.9% saved)

localize15.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b)) (*.f64 c i))
0.0b	(+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b)) (*.f64 c i))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-log-exp_binary64_2163`
5×	`sum-log_binary64_2215`
3×	`pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `+-commutative_binary64_2054` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
1×	`associate-+l+_binary64_2057`

Counts

3 → 35

Calls

6 calls:

10.0ms	(+.f64 (+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b)) (*.f64 c i))
6.0ms	(+.f64 (.f64 x y) (.f64 z t))
6.0ms	(+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b))
0.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b))

series971.0ms (0.6%)

Counts

3 → 108

Calls

3 calls:

509.0ms	(+.f64 (+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b)) (*.f64 c i))
310.0ms	(+.f64 (pow.f64 (.f64 1 (+.f64 (.f64 x y) (.f64 z t))) 1) (.f64 a b))
152.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 2182 to 2378 computations (-9% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4981	2137
1	4981	2137

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 x y) (*.f64 x y))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(+.f64 (log.f64 (exp.f64 (/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))))) (*.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.3b	(.f64 (.f64 x y) (*.f64 x y))
2.9b	(log.f64 (exp.f64 (/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))))
11.3b	(/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`pow1_binary64_2185`
36×	`times-frac_binary64_2130`
26×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
25×	`log-pow_binary64_2213`
24×	`exp-prod_binary64_2176`
18×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
17×	`pow-prod-down_binary64_2195`
8×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
7×	`distribute-lft-neg-in_binary64_2081` `distribute-rgt-neg-in_binary64_2082` `neg-mul-1_binary64_2120`
6×	`associate-/l*_binary64_2069` `add-log-exp_binary64_2163`
4×	`associate-/r/_binary64_2070` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
3×	`associate-/r*_binary64_2068` `log-prod_binary64_2210` `distribute-frac-neg_binary64_2087`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `pow-plus_binary64_2187` `log-div_binary64_2211` `exp-neg_binary64_2171` `div-sub_binary64_2129` `div-inv_binary64_2121` `neg-sub0_binary64_2119`
1×	`clear-num_binary64_2123` `log-rec_binary64_2212` `cbrt-undiv_binary64_2158` `rem-log-exp_binary64_2165` `sum-log_binary64_2215` `exp-diff_binary64_2172` `-commutative_binary64_2055` `swap-sqr_binary64_2091` `associate-l_binary64_2065` `+-commutative_binary64_2054` `pow2_binary64_2205` `flip3-+_binary64_2127` `associate-r*_binary64_2064` `flip-+_binary64_2098` `div-exp_binary64_2175` `frac-2neg_binary64_2135`

Counts

4 → 127

Calls

8 calls:

11.0ms	(log.f64 (exp.f64 (/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))))
11.0ms	(/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))
7.0ms	(.f64 (.f64 x y) (*.f64 x y))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	(+.f64 (log.f64 (exp.f64 (/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))))) (*.f64 c i))

series1.3s (0.8%)

Counts

4 → 74

Calls

4 calls:

758.0ms	(log.f64 (exp.f64 (/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))))
340.0ms	(/.f64 (neg.f64 (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))
156.0ms	(+.f64 (.f64 x y) (.f64 z t))
73.0ms	(.f64 (.f64 x y) (*.f64 x y))

Compiler

Compiled 3990 to 3350 computations (16% saved)

simplify101.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5003	4397

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
2.8b	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))))
5.4b	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
25.5b	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
36.0b	(/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (*.f64 z t))))

rewrite171.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-exp-log_binary64_2162`
31×	`add-sqr-sqrt_binary64_2146`
27×	`add-cbrt-cube_binary64_2160`
26×	`times-frac_binary64_2130`
25×	`prod-exp_binary64_2173`
23×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
22×	`flip--_binary64_2099` `flip3--_binary64_2128`
20×	`associate-/r/_binary64_2070`
19×	`log-pow_binary64_2213`
18×	`exp-prod_binary64_2176`
15×	`div-exp_binary64_2175`
14×	`associate-*r/_binary64_2066`
13×	`cancel-sign-sub-inv_binary64_2090`
12×	`frac-times_binary64_2134`
10×	`associate-/l/_binary64_2071`
9×	`cbrt-unprod_binary64_2157`
8×	`difference-of-squares_binary64_2093`
7×	`cbrt-undiv_binary64_2158`
6×	`add-log-exp_binary64_2163` `associate-*l/_binary64_2067`
5×	`associate-/l*_binary64_2069` `pow1_binary64_2185`
4×	`pow-exp_binary64_2192` `associate-/r*_binary64_2068` `pow-to-exp_binary64_2193` `div-inv_binary64_2121`
3×	`log-prod_binary64_2210`
2×	`clear-num_binary64_2123` `div-sub_binary64_2129` `frac-2neg_binary64_2135`
1×	`rem-log-exp_binary64_2165` `exp-diff_binary64_2172` `diff-log_binary64_2216` `sub-neg_binary64_2117` `log-div_binary64_2211`

Counts

4 → 141

Calls

8 calls:

29.0ms	(/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (*.f64 z t))))
23.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
22.0ms	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
15.0ms	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))))
0.0ms	(-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))

series4.7s (3%)

Counts

4 → 88

Calls

4 calls:

3.3s	(log.f64 (exp.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
922.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t))))) (-.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
402.0ms	(-.f64 (.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))))
126.0ms	(/.f64 (.f64 (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 x y) (*.f64 z t))))

Compiler

Compiled 7462 to 5498 computations (26.3% saved)

simplify153.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4971	9694
1	4971	9694

localize38.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
3.7b	(.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))
5.4b	(log.f64 (exp.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))))
25.5b	(.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
37.1b	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3)))

rewrite193.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

259×	`add-sqr-sqrt_binary64_2146`
228×	`difference-of-squares_binary64_2093`
183×	`times-frac_binary64_2130`
117×	`sqr-pow_binary64_2096`
98×	`associate-l_binary64_2065`
80×	`*-un-lft-identity_binary64_2124`
57×	`unpow-prod-down_binary64_2203`
50×	`add-cube-cbrt_binary64_2159`
30×	`cube-prod_binary64_2152`
27×	`unpow2_binary64_2189`
16×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
15×	`distribute-lft-out--_binary64_2076` `difference-cubes_binary64_2126`
13×	`associate-/r*_binary64_2068`
12×	`pow1_binary64_2185`
7×	`associate-/l*_binary64_2069`
6×	`associate-r_binary64_2064`
5×	`log-prod_binary64_2210` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`pow-prod-down_binary64_2195` `associate-/r/_binary64_2070` `associate-*r/_binary64_2066`
3×	`flip--_binary64_2099` `flip3--_binary64_2128` `log-pow_binary64_2213` `distribute-rgt-in_binary64_2074` `flip3-+_binary64_2127` `flip-+_binary64_2098` `distribute-lft-in_binary64_2073`
2×	`cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `frac-times_binary64_2134` `div-inv_binary64_2121` `associate-/l/_binary64_2071` `div-exp_binary64_2175` `exp-sum_binary64_2170`
1×	`clear-num_binary64_2123` `rem-log-exp_binary64_2165` `exp-to-pow_binary64_2186` `associate-*l/_binary64_2067` `exp-prod_binary64_2176` `div-sub_binary64_2129` `frac-2neg_binary64_2135`

Counts

4 → 288

Calls

8 calls:

56.0ms	(.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
29.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3)))
9.0ms	(.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))
7.0ms	(log.f64 (exp.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))))
0.0ms	(+.f64 (.f64 x y) (.f64 z t))

series17.9s (11.3%)

Counts

4 → 92

Calls

4 calls:

13.5s	(log.f64 (exp.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))))
3.3s	(.f64 (/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t))) (.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))))
740.0ms	(/.f64 (-.f64 (.f64 (.f64 a b) (.f64 a b)) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 2)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 3)))
248.0ms	(.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))

Compiler

Compiled 18792 to 12920 computations (31.2% saved)

simplify286.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

380 → 380

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4970	29785
1	4970	29785

prune34.3s (21.7%)

Pruning

586 alts after pruning (571 fresh and 15 done)

	Pruned	Kept	Total
New	641	312	953
Fresh	15	259	274
Picked	0	0	0
Done	0	15	15
Total	656	586	1242

Error

0.0b

Counts

1242 → 586

Compiler

Compiled 36814 to 7960 computations (78.4% saved)

simplify916.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5005	73937

regimes36.5s (23.1%)

Compiler: Compiled 625291 to 307568 computations (50.8% saved)

bsearch0.0ms (0%)

regimes1.3s (0.8%)

Compiler: Compiled 3766 to 5714 computations (-51.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 9 computations (-200% saved)

regimes1.2s (0.7%)

Compiler: Compiled 1987 to 3509 computations (-76.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 9 computations (-200% saved)

regimes899.0ms (0.6%)

Compiler: Compiled 1796 to 3238 computations (-80.3% saved)

bsearch53.0ms (0%)

Steps

Iters	Range		Point
8	1.36901216717411e+24	6.203101419492194e+26	2.903160141591779e+26
7	-1.4030413317937261e+66	-2.1109574625540314e+64	-2.0953330280262287e+65

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes1.2s (0.7%)

Compiler: Compiled 1690 to 3158 computations (-86.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 9 computations (-200% saved)

regimes597.0ms (0.4%)

Compiler: Compiled 388 to 1220 computations (-214.4% saved)

bsearch159.0ms (0.1%)

Steps

Iters	Range		Point
9	2.8835041158773195e+42	2.3221236171043693e+49	4.6954354245452426e+42
9	5.635453931134026e-38	2.0334670272239458e-29	3.723468280179997e-33
6	4.890718310141106e-53	2.4517475330831254e-52	1.7024475142077485e-52
10	-6.452633630479134e-260	-1.3330480980245933e-272	-4.242490964351764e-263
5	-4.949272516952354e-196	-1.428960688516202e-196	-1.9466096945774426e-196
7	-876.4149557637376	-18.595226279473227	-26.57269911161113

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes531.0ms (0.3%)

Compiler: Compiled 304 to 1088 computations (-257.9% saved)

bsearch174.0ms (0.1%)

Steps

Iters	Range		Point
9	2.8835041158773195e+42	2.3221236171043693e+49	8.939617775903697e+48
9	5.635453931134026e-38	2.0334670272239458e-29	5.765917962725551e-38
6	4.890718310141106e-53	2.4517475330831254e-52	2.42177553232811e-52
10	-6.452633630479134e-260	-1.3330480980245933e-272	-2.9042922117227954e-266
5	-4.949272516952354e-196	-1.428960688516202e-196	-1.4594106300492162e-196
9	-6.862854698398305e+49	-2.0969794810901437e+41	-1.4682424816772405e+47

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes782.0ms (0.5%)

Compiler: Compiled 220 to 956 computations (-334.5% saved)

bsearch263.0ms (0.2%)

Steps

Iters	Range		Point
9	1.7314038949613985e+142	6.47084220871931e+147	1.7535445578822088e+142
3	4.2972148130092416e+70	5.15384599069248e+70	4.671990953245658e+70
7	1.8553989333302964e+24	3.2645251423021666e+25	9.833871218930718e+24
9	5.636253318287199e-09	0.2763219145241845	0.018460399255693722
9	5.50099890617902e-127	9.390112115865937e-122	8.132991851105379e-123
8	6.7248893856362846e-245	2.0197400859205806e-240	2.0966161334014614e-244
7	-9.711136628761694e-197	-1.0103472152136932e-198	-4.562143479425966e-197
8	-8.933696888885346e+37	-1.4357942577783464e+34	-6.171056146212279e+34
8	-6.5017325456217884e+41	-9.889686178603446e+38	-5.02835631197913e+41
7	-6.061301435565761e+121	-2.3192216434737642e+120	-2.3427785174985994e+120

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes520.0ms (0.3%)

Compiler: Compiled 166 to 776 computations (-367.5% saved)

bsearch217.0ms (0.1%)

Steps

Iters	Range		Point
7	1.8553989333302964e+24	3.2645251423021666e+25	5.987164468623569e+24
9	5.636253318287199e-09	0.2763219145241845	1.9507792172644677e-07
9	5.50099890617902e-127	9.390112115865937e-122	8.510170755152069e-125
8	6.7248893856362846e-245	2.0197400859205806e-240	1.0653981193321036e-241
7	-9.711136628761694e-197	-1.0103472152136932e-198	-2.8082365074153387e-198
8	-8.933696888885346e+37	-1.4357942577783464e+34	-1.3078305081244203e+35
8	-6.5017325456217884e+41	-9.889686178603446e+38	-7.02076980251134e+40
7	-6.061301435565761e+121	-2.3192216434737642e+120	-2.3427785174985994e+120

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes279.0ms (0.2%)

Compiler: Compiled 118 to 614 computations (-420.3% saved)

bsearch55.0ms (0%)

Steps

Iters	Range		Point
7	1.8553989333302964e+24	3.2645251423021666e+25	2.3849187735444016e+24
8	-8.933696888885346e+37	-1.4357942577783464e+34	-1.0200710793183858e+35

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes92.0ms (0.1%)

Compiler: Compiled 76 to 470 computations (-518.4% saved)

bsearch0.0ms (0%)

regimes74.0ms (0%)

Accuracy

Total 0.0b remaining (70.7%)

Threshold costs 0.0b (70.7%)

Compiler

Compiled 40 to 344 computations (-760% saved)

bsearch17.0ms (0%)

Compiler: Compiled 566 to 287 computations (49.3% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	183	781
1	183	781

end0.0ms (0%)

sample23.5s (14.9%)

Algorithm

1×

intervals

Results

392.0ms	8000×	body	128	valid
267.0ms	5474×	body	128	invalid

Compiler

Compiled 43303 to 21386 computations (50.6% saved)

Pareto

0.19376860075112243