Details

analyze1.7s (8.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

Compiler

Compiled 19 to 18 computations (5.3% saved)

sample256.0ms (1.3%)

Algorithm

1×

intervals

Results

71.0ms	334×	body	128	nan
51.0ms	236×	body	128	valid
31.0ms	153×	body	128	invalid
8.0ms	11×	body	512	valid
6.0ms	3×	body	1024	valid
4.0ms	6×	body	256	valid
3.0ms	4×	body	512	invalid
1.0ms	1×	body	1024	invalid
1.0ms	2×	body	256	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify241.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4948	26
1	4948	26

prune11.0ms (0.1%)

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

1.9b

Counts

2 → 2

Compiler

Compiled 52 to 49 computations (5.8% saved)

localize32.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
0.0b	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
0.0b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
0.0b	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
0.0b	(-.f64 (log.f64 z) t)
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
7.0b	(log.f64 (-.f64 1 z))

rewrite73.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_3090`
24×	`*-un-lft-identity_binary64_3068`
15×	`add-cube-cbrt_binary64_3103` `log-prod_binary64_3154`
11×	`pow1_binary64_3129`
10×	`associate-r_binary64_3008`
9×	`associate--l+_binary64_3005` `cancel-sign-sub-inv_binary64_3034`
8×	`add-cbrt-cube_binary64_3104` `add-exp-log_binary64_3106`
7×	`distribute-lft-in_binary64_3017` `distribute-rgt-in_binary64_3018`
6×	`associate-l_binary64_3009`
5×	`distribute-lft-out--_binary64_3020` `add-log-exp_binary64_3107`
4×	`difference-of-squares_binary64_3037`
3×	`sub-neg_binary64_3061` `flip--_binary64_3043` `flip3--_binary64_3072` `log-pow_binary64_3157`
2×	`prod-exp_binary64_3117` `cbrt-unprod_binary64_3101` `associate-r/_binary64_3010` `log-div_binary64_3155` `-commutative_binary64_2999` `pow-prod-down_binary64_3139` `unswap-sqr_binary64_3036`
1×	`diff-log_binary64_3160` `exp-sum_binary64_3114` `rem-log-exp_binary64_3109`

Counts

4 → 93

Calls

8 calls:

22.0ms	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
15.0ms	(*.f64 y (-.f64 (log.f64 z) t))
9.0ms	(-.f64 (log.f64 z) t)
7.0ms	(log.f64 (-.f64 1 z))
0.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))

series1.9s (9.5%)

Counts

4 → 48

Calls

4 calls:

1.2s	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
426.0ms	(*.f64 y (-.f64 (log.f64 z) t))
235.0ms	(-.f64 (log.f64 z) t)
28.0ms	(log.f64 (-.f64 1 z))

Compiler

Compiled 2390 to 1896 computations (20.7% saved)

simplify151.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4999	2463
1	4999	2463

prune325.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	140	3	143

Error

0.0b

Counts

143 → 3

Compiler

Compiled 3262 to 1533 computations (53% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (log.f64 z) t)
0.0b	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (neg.f64 z) b)))))
0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
0.0b	(*.f64 a (-.f64 (neg.f64 z) b))
0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
0.0b	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (neg.f64 z) b)))))
0.0b	(-.f64 (log.f64 z) t)
0.1b	(*.f64 y (-.f64 (log.f64 z) t))

rewrite82.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_3090`
21×	`*-un-lft-identity_binary64_3068`
15×	`add-cube-cbrt_binary64_3103`
10×	`pow1_binary64_3129` `associate-r_binary64_3008`
9×	`associate--l+_binary64_3005` `log-prod_binary64_3154` `cancel-sign-sub-inv_binary64_3034`
8×	`add-cbrt-cube_binary64_3104` `add-log-exp_binary64_3107`
7×	`add-exp-log_binary64_3106` `distribute-lft-in_binary64_3017` `distribute-rgt-in_binary64_3018`
6×	`associate-l_binary64_3009`
4×	`distribute-lft-out--_binary64_3020`
3×	`exp-prod_binary64_3120` `sub-neg_binary64_3061`
2×	`prod-exp_binary64_3117` `rem-exp-log_binary64_3108` `cbrt-unprod_binary64_3101` `difference-of-squares_binary64_3037` `flip--_binary64_3043` `flip3--_binary64_3072` `associate-r/_binary64_3010` `log-pow_binary64_3157` `exp-sum_binary64_3114` `-commutative_binary64_2999` `pow-prod-down_binary64_3139` `unswap-sqr_binary64_3036`
1×	`diff-log_binary64_3160` `sum-log_binary64_3159`

Counts

4 → 89

Calls

8 calls:

24.0ms	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (neg.f64 z) b)))))
18.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
15.0ms	(*.f64 y (-.f64 (log.f64 z) t))
9.0ms	(-.f64 (log.f64 z) t)
0.0ms	(*.f64 a (-.f64 (neg.f64 z) b))

series2.0s (10.3%)

Counts

4 → 68

Calls

4 calls:

931.0ms	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (neg.f64 z) b)))))
428.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (neg.f64 z) b))))
407.0ms	(*.f64 y (-.f64 (log.f64 z) t))
261.0ms	(-.f64 (log.f64 z) t)

Compiler

Compiled 3174 to 2144 computations (32.5% saved)

simplify159.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5018	3297

prune267.0ms (1.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	155	2	157
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	155	5	160

Error

0.0b

Counts

160 → 5

Compiler

Compiled 3537 to 669 computations (81.1% saved)

localize37.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (log.f64 z) t)
0.0b	(.f64 (exp.f64 (-.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 z b)))) (cbrt.f64 x))
0.0b	(exp.f64 (-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b))))
0.0b	(*.f64 a (+.f64 z b))
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_3099`
23×	`add-sqr-sqrt_binary64_3090`
15×	`add-cube-cbrt_binary64_3103` `*-un-lft-identity_binary64_3068`
11×	`pow1_binary64_3129`
9×	`pow1/3_binary64_3150`
6×	`add-exp-log_binary64_3106` `associate-l_binary64_3009` `associate-r_binary64_3008` `swap-sqr_binary64_3035`
4×	`add-cbrt-cube_binary64_3104` `add-log-exp_binary64_3107` `unswap-sqr_binary64_3036`
2×	`pow-prod-up_binary64_3138` `pow-sqr_binary64_3041` `pow-prod-down_binary64_3139`
1×	`pow2_binary64_3149` `prod-exp_binary64_3117` `cbrt-unprod_binary64_3101` `*-commutative_binary64_2999` `pow-plus_binary64_3131`

Counts

4 → 73

Calls

8 calls:

11.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
2.0ms	(cbrt.f64 x)
2.0ms	(cbrt.f64 x)
2.0ms	(cbrt.f64 x)
0.0ms	(*.f64 a (+.f64 z b))

series600.0ms (3.1%)

Counts

4 → 12

Calls

4 calls:

186.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
143.0ms	(cbrt.f64 x)
138.0ms	(cbrt.f64 x)
132.0ms	(cbrt.f64 x)

Compiler

Compiled 586 to 502 computations (14.3% saved)

simplify136.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune174.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Error

0.0b

Counts

90 → 5

Compiler

Compiled 2182 to 379 computations (82.6% saved)

localize48.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (log.f64 z) t)
0.0b	(.f64 (exp.f64 (-.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 z b)))) (cbrt.f64 x))
0.0b	(exp.f64 (-.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (+.f64 z b))))
0.0b	(*.f64 a (+.f64 z b))
0.5b	(cbrt.f64 x)
0.6b	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
0.6b	(cbrt.f64 (cbrt.f64 x))
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`cbrt-prod_binary64_3099`
11×	`add-cube-cbrt_binary64_3103` `*-un-lft-identity_binary64_3068` `add-sqr-sqrt_binary64_3090`
9×	`unpow-prod-down_binary64_3147`
5×	`add-exp-log_binary64_3106` `pow1_binary64_3129`
4×	`add-cbrt-cube_binary64_3104` `pow1/3_binary64_3150` `add-log-exp_binary64_3107`
3×	`pow-unpow_binary64_3145`
2×	`pow-pow_binary64_3140`
1×	`pow-to-exp_binary64_3137` `sqr-pow_binary64_3040` `pow-exp_binary64_3136`

Counts

4 → 58

Calls

8 calls:

6.0ms	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
6.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
3.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 x)
0.0ms	(*.f64 a (+.f64 z b))

series867.0ms (4.4%)

Counts

4 → 12

Calls

4 calls:

253.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
243.0ms	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
188.0ms	(cbrt.f64 (cbrt.f64 x))
183.0ms	(cbrt.f64 x)

Compiler

Compiled 748 to 616 computations (17.6% saved)

simplify187.0ms (1%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (163.0ms)

Iter	Nodes	Cost
0	4832	626
1	4832	626

prune138.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	70	5	75

Error

0.0b

Counts

75 → 5

Compiler

Compiled 2252 to 525 computations (76.7% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	260	620
1	260	620

regimes802.0ms (4.1%)

Accuracy

Total 0.5b remaining (95.8%)

Threshold costs 0.5b (95.8%)

Compiler

Compiled 3737 to 3528 computations (5.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	69	23
1	69	23

end0.0ms (0%)

sample9.3s (47.3%)

Algorithm

1×

intervals

Results

1.8s	11003×	body	128	nan
1.3s	7337×	body	128	valid
926.0ms	5414×	body	128	invalid
179.0ms	291×	body	512	valid
136.0ms	116×	body	1024	valid
95.0ms	256×	body	256	valid
78.0ms	128×	body	512	invalid
60.0ms	51×	body	1024	invalid
54.0ms	142×	body	256	invalid

Compiler

Compiled 1168 to 1068 computations (8.6% saved)

Pareto

0.5439168056937544

Details

analyze1.7s (8.9%)

sample256.0ms (1.3%)

simplify241.0ms (1.2%)

prune11.0ms (0.1%)

localize32.0ms (0.2%)

rewrite73.0ms (0.4%)

series1.9s (9.5%)

simplify151.0ms (0.8%)

prune325.0ms (1.7%)

localize26.0ms (0.1%)

rewrite82.0ms (0.4%)

series2.0s (10.3%)

simplify159.0ms (0.8%)

prune267.0ms (1.4%)

localize37.0ms (0.2%)

rewrite29.0ms (0.1%)

series600.0ms (3.1%)

simplify136.0ms (0.7%)

prune174.0ms (0.9%)

localize48.0ms (0.2%)

rewrite28.0ms (0.1%)

series867.0ms (4.4%)

simplify187.0ms (1%)

prune138.0ms (0.7%)

simplify20.0ms (0.1%)

regimes802.0ms (4.1%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample9.3s (47.3%)

Profiling