Details

analyze737.0ms (21.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.0s (29.3%)

Results

802.0ms	8256×	body	128	valid
185.0ms	1882×	body	128	invalid

Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess27.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

47×	`rules-6_binary64`
44×	`rules-20_binary64`
43×	`rules-4_binary64`
42×	`rules-5-rev_binary64`
8×	`rules-5_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	70
1	50	70
2	115	70
3	180	70
4	232	70
5	236	70
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
0
2
3
2

Call 2

Inputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (.f64 b1 a2) (.f64 a1 b2))
(/.f64 (.f64 b2 a2) (.f64 b1 a1))
(/.f64 (.f64 a1 b1) (.f64 a2 b2))
(/.f64 (.f64 a1 b2) (.f64 b1 a2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
(/.f64 (.f64 b1 a2) (.f64 a1 b2))
(.f64 b1 (/.f64 a2 (.f64 a1 b2)))
(*.f64 b1 (/.f64 (/.f64 a2 a1) b2))
(/.f64 (.f64 b2 a2) (.f64 b1 a1))
(.f64 b2 (/.f64 a2 (.f64 a1 b1)))
(.f64 a2 (/.f64 b2 (.f64 a1 b1)))
(*.f64 a2 (/.f64 (/.f64 b2 b1) a1))
(/.f64 a2 (/.f64 b1 (/.f64 b2 a1)))
(/.f64 (.f64 a1 b1) (.f64 a2 b2))
(/.f64 (/.f64 (*.f64 a1 b1) b2) a2)
(*.f64 a1 (/.f64 (/.f64 b1 a2) b2))
(*.f64 b1 (/.f64 (/.f64 a1 a2) b2))
(/.f64 (.f64 a1 b2) (.f64 b1 a2))
(.f64 a1 (/.f64 b2 (.f64 a2 b1)))
(*.f64 a1 (/.f64 (/.f64 b2 a2) b1))
(*.f64 b2 (/.f64 (/.f64 a1 a2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))

Symmetry

(sort a1 a2)

(sort b1 b2)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-5-rev_binary64`
14×	`rules-20_binary64`
12×	`rules-4_binary64`
6×	`rules-6_binary64`
1×	`rules-6-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	28	10
3	47	10
4	64	10
5	69	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	10.6b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
▶	10.4b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Compiler

Compiled 62 to 38 computations (38.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	10.1b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

series26.0ms (0.8%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	a1	@	inf	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
3.0ms	a1	@	-inf	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
3.0ms	a2	@	-inf	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
2.0ms	a1	@	0	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
2.0ms	a2	@	inf	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

rewrite39.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`rules-40_binary64`
872×	`rules-41_binary64`
872×	`rules-42_binary64`
872×	`rules-43_binary64`
83×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	184	10
2	2436	10

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 a1 a2) (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 a1 (/.f64 a2 (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 a2 (/.f64 a1 (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 a1 a2) (/.f64 1 (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 a1 a2) (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) (pow.f64 (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 2) (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 a1 a2)) 2) (/.f64 (cbrt.f64 (.f64 a1 a2)) (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 a1 a2)) (/.f64 (sqrt.f64 (.f64 a1 a2)) (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 a2 (.f64 b1 b2)) a1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 a1 a2) 3) (pow.f64 (.f64 b1 b2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 (.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 2) (cbrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a1 (/.f64 a2 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a2 (/.f64 a1 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 2) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 a1 a2)) 2) (/.f64 (cbrt.f64 (*.f64 a1 a2)) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 a2)) (/.f64 (sqrt.f64 (*.f64 a1 a2)) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 (*.f64 b1 b2)) a1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 a1 a2) 3) (pow.f64 (*.f64 b1 b2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 2) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))))))

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-5-rev_binary64`
14×	`rules-20_binary64`
12×	`rules-4_binary64`
6×	`rules-6_binary64`
1×	`rules-6-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	480
1	14	480
2	28	480
3	47	480
4	64	480
5	69	480

Stop Event

1×

saturated

Counts

81 → 35

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

prune28.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	27	8	35
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	27	10	37

Error

2.4b

Counts

37 → 10

Alt Table

Status	Error	Program
	10.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 a1 a2)) 2) (/.f64 (cbrt.f64 (.f64 a1 a2)) (.f64 b1 b2)))
✓	10.4b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
	32.9b	(cbrt.f64 (pow.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2)) 3))
	47.0b	(log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (*.f64 b1 b2))))
	29.5b	(pow.f64 (sqrt.f64 (/.f64 (.f64 a1 a2) (.f64 b1 b2))) 2)
	10.6b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
	10.6b	(.f64 (.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
	12.1b	(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
	10.7b	(.f64 a1 (/.f64 a2 (.f64 b1 b2)))
▶	10.1b	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

Compiler

Compiled 626 to 261 computations (58.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	5.1b	(/.f64 (/.f64 a2 b2) b1)
✓	5.7b	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

series41.0ms (1.2%)

Counts

2 → 84

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	a2	@	inf	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
3.0ms	b1	@	-inf	(/.f64 (/.f64 a2 b2) b1)
3.0ms	a1	@	-inf	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
3.0ms	a2	@	-inf	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
2.0ms	a1	@	inf	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

rewrite40.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

892×	`rules-40_binary64`
892×	`rules-41_binary64`
892×	`rules-42_binary64`
892×	`rules-43_binary64`
84×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	185	17
2	2474	17

Stop Event

1×	node limit

Counts

2 → 74

Calls

Call 1

Inputs
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (/.f64 a2 b2) b1)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) (.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) (.f64 (/.f64 a2 (.f64 b2 b1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 (.f64 a1 a2) b2) b1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) (.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) (.f64 (/.f64 a2 (.f64 b2 b1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a1 (/.f64 1 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (.f64 b2 (/.f64 b1 a1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (/.f64 (.f64 b2 b1) a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 b2) (/.f64 b1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 (.f64 b2 b1)) (/.f64 1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 2) (+.f64 0 (.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 2) (-.f64 0 (.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 a1 a2) b2) b1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 a2 b2) (.f64 0 (/.f64 b1 a1))) (/.f64 b1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (.f64 a1 a2) b2) (.f64 0 b1)) b1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) (cbrt.f64 (.f64 b1 b1))) (cbrt.f64 b1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) (sqrt.f64 b1)) (sqrt.f64 b1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 a1 a2) (.f64 b2 b1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 a1 3) (pow.f64 (/.f64 a2 (.f64 b2 b1)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 a2 (.f64 b2 b1)) 3) (pow.f64 a1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 (.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (.f64 b2 b1)) a1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) 2) (cbrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) (sqrt.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 (.f64 a1 a2) b2) b1)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 a2 (.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 a2 (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 a2 (.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 a2 (.f64 b2 b1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 a2 (/.f64 1 (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 a2 b2) (/.f64 1 b1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 a2 (.f64 b2 b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 a2 (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 a2 b2)) 2) (/.f64 (cbrt.f64 (/.f64 a2 b2)) b1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 a2) 2) (/.f64 (cbrt.f64 a2) (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) (pow.f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) 2) (cbrt.f64 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 a2 b2)) (/.f64 (sqrt.f64 (/.f64 a2 b2)) b1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a2) (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 a2 (.f64 b2 b1))) (sqrt.f64 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 a2 (.f64 b2 b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 a2 (.f64 b2 b1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 a2 (.f64 b2 b1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 a2 (.f64 b2 b1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 a2 (.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 a2 (.f64 b2 b1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 a2 (.f64 b2 b1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 a2 b2) 3) (pow.f64 b1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (.f64 b2 b1)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) 2) (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 a2 (.f64 b2 b1))) (sqrt.f64 (/.f64 a2 (.f64 b2 b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 a2 (.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 a2 (.f64 b2 b1))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (*.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (*.f64 (/.f64 a2 (*.f64 b2 b1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (*.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (*.f64 (/.f64 a2 (*.f64 b2 b1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a1 (/.f64 1 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (*.f64 b2 (/.f64 b1 a1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (/.f64 (*.f64 b2 b1) a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 b2) (/.f64 b1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 2) (+.f64 0 (*.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 2) (-.f64 0 (*.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 a1 a2) b2) b1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 a2 b2) (*.f64 0 (/.f64 b1 a1))) (/.f64 b1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (*.f64 a1 a2) b2) (*.f64 0 b1)) b1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) (cbrt.f64 (*.f64 b1 b1))) (cbrt.f64 b1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) (sqrt.f64 b1)) (sqrt.f64 b1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 a1 a2) (*.f64 b2 b1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 a1 3) (pow.f64 (/.f64 a2 (*.f64 b2 b1)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) 3) (pow.f64 a1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 (*.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (*.f64 b2 b1)) a1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 2) (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 a2 (*.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 a2 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 a2 (*.f64 b2 b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 a2 (*.f64 b2 b1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a2 (/.f64 1 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 b2) (/.f64 1 b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 (*.f64 b2 b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 a2 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 a2 b2)) 2) (/.f64 (cbrt.f64 (/.f64 a2 b2)) b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 a2) 2) (/.f64 (cbrt.f64 a2) (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) 2) (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 a2 b2)) (/.f64 (sqrt.f64 (/.f64 a2 b2)) b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a2) (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))) (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 a2 (*.f64 b2 b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 a2 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 a2 (*.f64 b2 b1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 a2 b2) 3) (pow.f64 b1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (*.f64 b2 b1)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) 2) (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))) (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 a2 (*.f64 b2 b1))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 a2 (*.f64 b2 b1))))))))

simplify24.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

15×	`rules-5-rev_binary64`
14×	`rules-20_binary64`
12×	`rules-4_binary64`
6×	`rules-6_binary64`
2×	`rules-6-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	732
1	16	732
2	30	732
3	48	732
4	65	732
5	71	732

Stop Event

1×

saturated

Counts

158 → 77

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)

prune50.0ms (1.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	72	5	77
Fresh	6	2	8
Picked	0	1	1
Done	1	0	1
Total	79	8	87

Error

0.0b

Counts

87 → 8

Alt Table

Status	Error	Program
	10.6b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
▶	9.8b	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
	12.1b	(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
	10.8b	(/.f64 a1 (/.f64 1 (/.f64 a2 (*.f64 b2 b1))))
	30.8b	(pow.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 2)
	11.0b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	11.3b	(/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))
✓	10.1b	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

Compiler

Compiled 1033 to 384 computations (62.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	3.2b	(/.f64 (*.f64 a1 a2) b2)
✓	6.6b	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)

series37.0ms (1.1%)

Counts

2 → 48

Calls

21 calls:

Time	Variable		Point	Expression
4.0ms	a1	@	-inf	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
3.0ms	a2	@	-inf	(/.f64 (*.f64 a1 a2) b2)
2.0ms	a2	@	-inf	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
2.0ms	a1	@	inf	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
2.0ms	a1	@	0	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)

rewrite41.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

865×	`rules-40_binary64`
865×	`rules-41_binary64`
865×	`rules-42_binary64`
865×	`rules-43_binary64`
83×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	183	17
2	2411	17

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

Inputs
(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
(/.f64 (*.f64 a1 a2) b2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a1 (/.f64 a2 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a1 (/.f64 (/.f64 a2 b2) b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a2 (/.f64 a1 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 (/.f64 a2 b2)) (/.f64 1 b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) (pow.f64 (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 2) (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 2)) (/.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 a1 a2)) 2) (/.f64 (cbrt.f64 (*.f64 a1 a2)) (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) (sqrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) (/.f64 (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) b1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 a2)) (/.f64 (sqrt.f64 (*.f64 a1 a2)) (*.f64 b2 b1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3) (pow.f64 b1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 2) (cbrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) (sqrt.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 a1 (/.f64 (/.f64 a2 b2) b1))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a1 (/.f64 a2 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 a1 (/.f64 a2 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 a1 (/.f64 a2 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (*.f64 a1 (/.f64 a2 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 a1 (/.f64 a2 b2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a1 (/.f64 a2 b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a2 (/.f64 a1 b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 a2) (/.f64 1 b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 a1 (/.f64 a2 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 a1 (/.f64 a2 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) (cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 2)) (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 a1 a2)) 2) (/.f64 (cbrt.f64 (*.f64 a1 a2)) b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 a1 a2)) (/.f64 (sqrt.f64 (*.f64 a1 a2)) b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 b2) a1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 a1 (/.f64 a2 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 a1 (/.f64 a2 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 a1 (/.f64 a2 b2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 a1 a2) 3) (pow.f64 b2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 a1 (/.f64 a2 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 b2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a1 (/.f64 a2 b2)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 2)) (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) (sqrt.f64 (*.f64 a1 (/.f64 a2 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 a1 (/.f64 a2 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 a1 (/.f64 a2 b2))))))))

simplify17.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-5-rev_binary64`
14×	`rules-20_binary64`
12×	`rules-4_binary64`
6×	`rules-6_binary64`
1×	`rules-6-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	480
1	14	480
2	28	480
3	47	480
4	64	480
5	69	480

Stop Event

1×

saturated

Counts

116 → 69

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

prune48.0ms (1.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	69	8	77

Error

0.0b

Counts

77 → 8

Alt Table

Status	Error	Program
▶	10.6b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
✓	9.8b	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
	12.1b	(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
	10.8b	(/.f64 a1 (/.f64 1 (/.f64 a2 (*.f64 b2 b1))))
	30.8b	(pow.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b2) b1)) 2)
	11.0b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	11.3b	(/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))
✓	10.1b	(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))

Compiler

Compiled 924 to 333 computations (64% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.9b	(/.f64 (/.f64 a2 b1) b2)
✓	5.7b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))

series41.0ms (1.2%)

Counts

2 → 84

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	a2	@	inf	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
3.0ms	a1	@	-inf	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
2.0ms	a2	@	-inf	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
2.0ms	b2	@	0	(/.f64 (/.f64 a2 b1) b2)
2.0ms	a1	@	inf	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))

rewrite42.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

892×	`rules-40_binary64`
892×	`rules-41_binary64`
892×	`rules-42_binary64`
892×	`rules-43_binary64`
84×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	185	17
2	2474	17

Stop Event

1×	node limit

Counts

2 → 74

Calls

Call 1

Inputs
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (/.f64 a2 b1) b2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) (*.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) (*.f64 (/.f64 a2 (*.f64 b1 b2)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) (*.f64 a1 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) (*.f64 (/.f64 a2 (*.f64 b1 b2)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a1 (/.f64 1 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (*.f64 b1 (/.f64 b2 a1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 a2 (/.f64 (*.f64 b1 b2) a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 b1) (/.f64 b2 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 a2 (*.f64 b1 b2)) (/.f64 1 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 2) (+.f64 0 (*.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3) (+.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 2) (-.f64 0 (*.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 a1 a2) b1) b2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 a2 b1) (*.f64 0 (/.f64 b2 a1))) (/.f64 b2 a1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 0 b2)) b2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) (cbrt.f64 (*.f64 b2 b2))) (cbrt.f64 b2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) (sqrt.f64 b2)) (sqrt.f64 b2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 a1 a2) (*.f64 b1 b2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 a1) (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 a1 3) (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3) (pow.f64 a1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a1 (/.f64 a2 (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (*.f64 b1 b2)) a1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) 2) (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 a2 (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 a2 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 a2 (*.f64 b1 b2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 0 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 a2 (*.f64 b1 b2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a2 (/.f64 1 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 b1) (/.f64 1 b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a2 (*.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 a2 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 a2 b1)) 2) (/.f64 (cbrt.f64 (/.f64 a2 b1)) b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 a2) 2) (/.f64 (cbrt.f64 a2) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) 2) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 (sqrt.f64 (/.f64 a2 b1)) b2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a2) (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 a2 (*.f64 b1 b2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 a2 (*.f64 b1 b2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 a2 (*.f64 b1 b2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 a2 b1) 3) (pow.f64 b2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 a2 (*.f64 b1 b2)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) 2) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 a2 (*.f64 b1 b2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 a2 (*.f64 b1 b2))))))))

simplify26.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

15×	`rules-5-rev_binary64`
14×	`rules-20_binary64`
12×	`rules-4_binary64`
6×	`rules-6_binary64`
2×	`rules-6-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	732
1	16	732
2	30	732
3	48	732
4	65	732
5	71	732

Stop Event

1×

saturated

Counts

158 → 78

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 a2 (*.f64 b2 b1))

Outputs
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(/.f64 (/.f64 a2 b1) b2)

prune42.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	2	3	5
Picked	0	1	1
Done	1	1	2
Total	79	7	86

Error

Counts

86 → 7

Alt Table

Status	Error	Program
✓	10.6b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
✓	9.8b	(/.f64 (/.f64 (*.f64 a1 a2) b2) b1)
	11.5b	(/.f64 (/.f64 a2 b1) (/.f64 b2 a1))
	12.1b	(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
	10.8b	(/.f64 a1 (/.f64 1 (/.f64 a2 (*.f64 b2 b1))))
	11.0b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	11.6b	(/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))

Compiler

Compiled 944 to 322 computations (65.9% saved)

regimes708.0ms (20.8%)

Accuracy

Total 2.6b remaining (99.4%)

Threshold costs 0b (0%)

Counts

41 → 5

Compiler

Compiled 4270 to 2730 computations (36.1% saved)

bsearch1.0ms (0%)

Algorithm

4×	left-value

Calls

4 calls:

0.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
0.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
0.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
0.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Steps

Iters	Point		Range
1e+284	∈ [	7.48452807830337e+283	,	1.4494459419571086e+289	]
0.0	∈ [	0.0	,	1.8240130190038862e-306	]
-1e-310	∈ [	-1.64411869328147e-310	,	-0.0	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-4.8457501724130986e+303	]

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	113
1	33	113

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -inf.0) (/.f64 (*.f64 a2 (/.f64 a1 b2)) b1) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -20240225330731/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b2 b1))) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 100000000000000007921438250845767654125681919169971093408389934233443575897517102772544534557205764529752162833294418062406838213115052098838781957320876356853543120821491881752894667070520582225774709469217797130505057184069381648545374773244373557467226310750742042216461653692645376) (/.f64 (*.f64 a1 a2) (*.f64 b2 b1)) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1))))))

Outputs

(if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -inf.0) (/.f64 (*.f64 a2 (/.f64 a1 b2)) b1) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -20240225330731/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b2 b1))) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 100000000000000007921438250845767654125681919169971093408389934233443575897517102772544534557205764529752162833294418062406838213115052098838781957320876356853543120821491881752894667070520582225774709469217797130505057184069381648545374773244373557467226310750742042216461653692645376) (/.f64 (*.f64 a1 a2) (*.f64 b2 b1)) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1))))))

end351.0ms (10.3%)

Stop Event

1×

fuel

Compiler

Compiled 565 to 231 computations (59.1% saved)

Details

analyze737.0ms (21.6%)

sample1.0s (29.3%)

preprocess27.0ms (0.8%)

simplify7.0ms (0.2%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series26.0ms (0.8%)

rewrite39.0ms (1.1%)

simplify18.0ms (0.5%)

prune28.0ms (0.8%)

localize5.0ms (0.1%)

series41.0ms (1.2%)

rewrite40.0ms (1.2%)

simplify24.0ms (0.7%)

prune50.0ms (1.5%)

localize5.0ms (0.1%)

series37.0ms (1.1%)

rewrite41.0ms (1.2%)

simplify17.0ms (0.5%)

prune48.0ms (1.4%)

localize5.0ms (0.1%)

series41.0ms (1.2%)

rewrite42.0ms (1.2%)

simplify26.0ms (0.8%)

prune42.0ms (1.2%)

regimes708.0ms (20.8%)

bsearch1.0ms (0%)

simplify2.0ms (0.1%)

end351.0ms (10.3%)

Profiling