Details

analyze414.0ms (3.7%)

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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	56.2%	18.8%	7
25%	48.4%	26.6%	8
25%	35.1%	39.9%	9
28.1%	18.3%	53.6%	10
31.6%	12.3%	56.1%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 34 to 22 computations (35.3% saved)

sample47.0ms (0.4%)

Algorithm

1×

intervals

Results

31.0ms

256×

body

128

valid

Compiler

Compiled 69 to 45 computations (34.8% saved)

simplify114.0ms (1%)

Algorithm

1×	egg-herbie

Rules

669×	`unsub-neg_binary64`
596×	`cancel-sign-sub-inv_binary64`
373×	`neg-mul-1_binary64` `neg-sub0_binary64`
340×	`+-commutative_binary64`
277×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	46
1	61	46
2	152	46
3	438	46
4	1297	46
5	2510	46
6	4609	46
7	5033	46

prune12.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

Compiler

Compiled 99 to 63 computations (36.4% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.5b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite362.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

15×	`pow1_binary64` `add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`
10×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`associate-r_binary64`

Counts

4 → 80

Calls

4 calls:

16.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
15.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
15.0ms	(.f64 (.f64 a a) (+.f64 1 a))
9.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Compiler

Compiled 3111 to 1674 computations (46.2% saved)

series477.0ms (4.2%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

183.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
111.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
61.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
29.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 3088 to 2287 computations (25.9% saved)

simplify174.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

853×	`distribute-rgt-in_binary64`
794×	`distribute-lft-in_binary64`
274×	`cancel-sign-sub-inv_binary64`
246×	`associate-l_binary64`
204×	`associate-r_binary64`

Counts

134 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	192	3017
1	533	2697
2	1756	2612
3	5456	2612

prune223.0ms (2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	103	3	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	3	107

Error

0.0b

Counts

107 → 3

Alt Table

Status	Error	Program
	0.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (.f64 a a) (pow.f64 a 3)))))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (.f64 a a) (pow.f64 a 3))))))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (*.f64 a a) (pow.f64 a 3))))))) 1)
▶	0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (.f64 4 (+.f64 1 a)))) (pow.f64 a 4))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
	15.7b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (*.f64 a a) (pow.f64 a 3))))) 3)) 1)

Compiler

Compiled 2526 to 1404 computations (44.4% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (.f64 4 (+.f64 1 a)))) (pow.f64 a 4))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a)))) (pow.f64 a 4))
0.5b	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))
1.0b	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a))))

rewrite808.0ms (7.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64`
14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64` `sum-log_binary64`

Counts

4 → 83

Calls

4 calls:

48.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (.f64 4 (+.f64 1 a)))) (pow.f64 a 4))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
24.0ms	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a)))) (pow.f64 a 4))
20.0ms	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a))))
14.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

Compiler

Compiled 3913 to 2513 computations (35.8% saved)

series599.0ms (5.3%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

177.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (.f64 4 (+.f64 1 a)))) (pow.f64 a 4))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
146.0ms	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a)))) (pow.f64 a 4))
100.0ms	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (*.f64 4 (+.f64 1 a))))
67.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

Compiler

Compiled 3500 to 2726 computations (22.1% saved)

simplify297.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

389×	`associate--l+_binary64`
351×	`exp-prod_binary64`
336×	`associate-l_binary64`
283×	`associate-r_binary64`
269×	`cancel-sign-sub-inv_binary64`

Counts

140 → 112

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	4494
1	637	4041
2	2444	3951
3	4683	3951
4	4973	3951

prune291.0ms (2.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	4	112
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	110	5	115

Error

0.0b

Counts

115 → 5

Alt Table

Status	Error	Program
	50.6b	(.f64 a (-.f64 (+.f64 (pow.f64 a 3) (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (.f64 (*.f64 b b) 12)))
	0.3b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4)))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
▶	0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))
	41.4b	(exp.f64 (log.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))))
	15.7b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (*.f64 a a) (pow.f64 a 3))))) 3)) 1)

Compiler

Compiled 3008 to 1984 computations (34% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
0.1b	(.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))
0.1b	(.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 a 4)))))
0.5b	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

rewrite678.0ms (6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-*r/_binary64`
13×	`add-log-exp_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
9×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 98

Calls

4 calls:

42.0ms	(+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
24.0ms	(.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 a 4)))))
21.0ms	(.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))
15.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

Compiler

Compiled 4804 to 3194 computations (33.5% saved)

series493.0ms (4.4%)

Error

0.0b

Counts

4 → 49

Calls

4 calls:

140.0ms	(+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
99.0ms	(.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 a 4)))))
89.0ms	(.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))
64.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

Compiler

Compiled 3282 to 2528 computations (23% saved)

simplify310.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

398×	`associate-l_binary64`
341×	`associate-r_binary64`
301×	`cancel-sign-sub-inv_binary64`
266×	`associate--l+_binary64`
253×	`exp-prod_binary64`

Counts

147 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	4879
1	726	4369
2	2955	4156
3	4773	4154
4	4942	4154

prune472.0ms (4.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	126	4	130
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	129	6	135

Error

Counts

135 → 6

Alt Table

Status	Error	Program
	0.3b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4)))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
	11.6b	(+.f64 (pow.f64 b 4) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 a 4) (+.f64 (+.f64 (.f64 4 (+.f64 (.f64 a a) (pow.f64 a 3))) (.f64 (.f64 b b) (+.f64 4 (.f64 a (-.f64 (.f64 a 2) 12))))) -1)) 3)))
▶	0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))
	6.8b	(+.f64 (pow.f64 b 4) (+.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) 3)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))
	0.1b	(+.f64 (pow.f64 b 4) (-.f64 (+.f64 (+.f64 (.f64 4 (.f64 a a)) (.f64 (pow.f64 a 3) (+.f64 4 a))) (.f64 (.f64 b b) (+.f64 4 (.f64 a (-.f64 (*.f64 a 2) 12))))) 1))
	15.7b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (*.f64 a a) (pow.f64 a 3))))) 3)) 1)

Compiler

Compiled 4283 to 2886 computations (32.6% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (*.f64 a 12))))
0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
0.5b	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))
1.0b	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 4 a))))

rewrite701.0ms (6.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`add-log-exp_binary64`
14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64` `associate-+r+_binary64`
8×	`associate-*r/_binary64`
7×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 88

Calls

4 calls:

40.0ms	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
28.0ms	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 4 a))))
15.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))
11.0ms	(+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (*.f64 a 12))))

Compiler

Compiled 4514 to 2913 computations (35.5% saved)

series505.0ms (4.5%)

Error

Counts

4 → 48

Calls

4 calls:

148.0ms	(+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1))
104.0ms	(.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (*.f64 4 a))))
89.0ms	(+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (*.f64 a 12))))
66.0ms	(.f64 (.f64 b b) (-.f64 4 (*.f64 a 12)))

Compiler

Compiled 3219 to 2472 computations (23.2% saved)

simplify302.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

389×	`cancel-sign-sub-inv_binary64`
385×	`associate-l_binary64`
316×	`associate-r_binary64`
258×	`exp-prod_binary64`
240×	`distribute-rgt-in_binary64`

Counts

136 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	231	4428
1	728	4131
2	3025	4032
3	4687	4032
4	5042	4032

prune430.0ms (3.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	108	6	114

Error

Counts

114 → 6

Alt Table

Status	Error	Program
	0.3b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4)))) (cbrt.f64 (+.f64 (.f64 a (.f64 a (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 a 4))))) (pow.f64 a 4))))) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)
	11.6b	(+.f64 (pow.f64 b 4) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 a 4) (+.f64 (+.f64 (.f64 4 (+.f64 (.f64 a a) (pow.f64 a 3))) (.f64 (.f64 b b) (+.f64 4 (.f64 a (-.f64 (.f64 a 2) 12))))) -1)) 3)))
	0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))
	6.8b	(+.f64 (pow.f64 b 4) (+.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 a a) (+.f64 (.f64 2 (.f64 b b)) (+.f64 4 (.f64 4 a)))) 3)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 b b) (-.f64 4 (.f64 a 12)))) 1)))
	0.1b	(+.f64 (pow.f64 b 4) (-.f64 (+.f64 (+.f64 (.f64 4 (.f64 a a)) (.f64 (pow.f64 a 3) (+.f64 4 a))) (.f64 (.f64 b b) (+.f64 4 (.f64 a (-.f64 (*.f64 a 2) 12))))) 1))
	15.7b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (-.f64 1 (.f64 3 a)) (.f64 b b)) (+.f64 (*.f64 a a) (pow.f64 a 3))))) 3)) 1)

Compiler

Compiled 3450 to 2302 computations (33.3% saved)

regimes2.5s (21.9%)

Accuracy

Total 0.0b remaining (59.7%)

Threshold costs 0.0b (59.7%)

Compiler

Compiled 30573 to 21182 computations (30.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
7×	`*-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-mul-1_binary64` `neg-sub0_binary64` `cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`1-exp_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	52
1	43	52
2	53	52
3	57	52
4	59	52
5	56	52

end1.0ms (0%)

Compiler: Compiled 37 to 26 computations (29.7% saved)

sample972.0ms (8.6%)

Algorithm

1×

intervals

Results

506.0ms	8000×	body	128	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 339 to 239 computations (29.5% saved)

Details

analyze414.0ms (3.7%)

sample47.0ms (0.4%)

simplify114.0ms (1%)

prune12.0ms (0.1%)

localize34.0ms (0.3%)

rewrite362.0ms (3.2%)

series477.0ms (4.2%)

simplify174.0ms (1.5%)

prune223.0ms (2%)

localize41.0ms (0.4%)

rewrite808.0ms (7.1%)

series599.0ms (5.3%)

simplify297.0ms (2.6%)

prune291.0ms (2.6%)

localize42.0ms (0.4%)

rewrite678.0ms (6%)

series493.0ms (4.4%)

simplify310.0ms (2.7%)

prune472.0ms (4.2%)

localize42.0ms (0.4%)

rewrite701.0ms (6.2%)

series505.0ms (4.5%)

simplify302.0ms (2.7%)

prune430.0ms (3.8%)

regimes2.5s (21.9%)

simplify4.0ms (0%)

end1.0ms (0%)

sample972.0ms (8.6%)

Profiling