Details

analyze797.0ms (25.8%)

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.1s (34.8%)

Results

863.0ms	8256×	body	128	valid
194.0ms	1917×	body	128	invalid

Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess16.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

47×	`rules-7_binary64`
47×	`rules-9_binary64`
44×	`rules-14_binary64`
42×	`rules-6-rev_binary64`
4×	`rules-6_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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

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 (.f64 a2 a1) (.f64 b1 b2))
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 b1 a2) (.f64 a1 b2))
(.f64 b1 (/.f64 a2 (.f64 a1 b2)))
(*.f64 b1 (/.f64 (/.f64 a2 a1) b2))
(*.f64 a2 (/.f64 (/.f64 b1 b2) a1))
(/.f64 (.f64 b2 a2) (.f64 b1 a1))
(.f64 b2 (/.f64 a2 (.f64 a1 b1)))
(.f64 a2 (/.f64 b2 (.f64 a1 b1)))
(/.f64 (.f64 a1 b1) (.f64 a2 b2))
(*.f64 a1 (/.f64 (/.f64 b1 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 b1 (/.f64 a2 a1)))
(*.f64 (/.f64 a1 b1) (/.f64 b2 a2))
(*.f64 (/.f64 b2 a2) (/.f64 a1 b1))
(/.f64 (.f64 a1 a2) (.f64 b2 b1))
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-14_binary64`
12×	`rules-6-rev_binary64`
12×	`rules-7_binary64`
6×	`rules-9_binary64`
2×	`rules-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	28	10
3	47	10
4	68	10
5	71	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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	10.3b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
	11.6b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Compiler

Compiled 62 to 38 computations (38.7% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.4b	(/.f64 (/.f64 a2 b1) b2)
✓	6.4b	(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))

series40.0ms (1.3%)

Counts

2 → 84

Calls

21 calls:

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

rewrite43.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

378×	`rules-20_binary64`
237×	`rules-20-rev_binary64`
188×	`rules-34_binary64`
188×	`rules-35_binary64`
188×	`rules-36_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	203	17
2	2990	17

Stop Event

1×	node limit

Counts

2 → 94

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

Outputs

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

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

simplify23.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-14_binary64`
12×	`rules-7_binary64`
11×	`rules-6-rev_binary64`
6×	`rules-9_binary64`
3×	`rules-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	732
1	16	732
2	30	732
3	52	732
4	70	732
5	73	732

Stop Event

1×

saturated

Counts

178 → 98

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)

prune58.0ms (1.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Error

0.0b

Counts

100 → 8

Alt Table

Status	Error	Program
	12.3b	(/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))
	11.0b	(/.f64 a1 (/.f64 b2 (/.f64 a2 b1)))
	11.6b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
	11.6b	(.f64 a1 (/.f64 a2 (.f64 b2 b1)))
	34.3b	(.f64 a1 (.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a2) (*.f64 b1 b2))))
	9.4b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
▶	8.9b	(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
	10.3b	(/.f64 (/.f64 (/.f64 a2 b1) b2) (/.f64 1 a1))

Compiler

Compiled 1235 to 438 computations (64.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.7b	(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
✓	5.9b	(*.f64 a1 (/.f64 a2 b1))

series38.0ms (1.2%)

Counts

2 → 84

Calls

21 calls:

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

rewrite47.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

375×	`rules-20_binary64`
228×	`rules-20-rev_binary64`
185×	`rules-34_binary64`
185×	`rules-35_binary64`
185×	`rules-36_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	201	17
2	2919	17

Stop Event

1×	node limit

Counts

2 → 83

Calls

Call 1

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

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

Outputs

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

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

simplify25.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

13×	`rules-6-rev_binary64`
13×	`rules-7_binary64`
13×	`rules-14_binary64`
6×	`rules-9_binary64`
3×	`rules-9-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	732
1	17	732
2	34	732
3	55	732
4	73	732
5	73	732

Stop Event

1×

saturated

Counts

167 → 86

Calls

Call 1

Inputs
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) 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 (.f64 a1 a2) (.f64 b2 b1))

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

prune66.0ms (2.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	86	8	94

Error

Counts

94 → 8

Alt Table

Status	Error	Program
▶	9.2b	(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2)
	9.4b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	12.3b	(/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))
	11.0b	(/.f64 a1 (/.f64 b2 (/.f64 a2 b1)))
	11.6b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
	12.2b	(pow.f64 (cbrt.f64 (.f64 a1 (/.f64 a2 (.f64 b1 b2)))) 3)
✓	8.9b	(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
	10.3b	(/.f64 (/.f64 (/.f64 a2 b1) b2) (/.f64 1 a1))

Compiler

Compiled 1127 to 417 computations (63% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series39.0ms (1.3%)

Counts

2 → 84

Calls

21 calls:

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

rewrite43.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

364×	`rules-20_binary64`
214×	`rules-20-rev_binary64`
188×	`rules-34_binary64`
188×	`rules-35_binary64`
188×	`rules-36_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	202	17
2	2956	17

Stop Event

1×	node limit

Counts

2 → 79

Calls

Call 1

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

Outputs

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

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

simplify24.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

13×	`rules-6-rev_binary64`
13×	`rules-7_binary64`
13×	`rules-14_binary64`
6×	`rules-9_binary64`
3×	`rules-9-rev_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	732
1	17	732
2	34	732
3	55	732
4	73	732
5	73	732

Stop Event

1×

saturated

Counts

163 → 82

Calls

Call 1

Inputs
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) b1)
(/.f64 (*.f64 a1 a2) 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 (.f64 a1 a2) (.f64 b2 b1))

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

prune55.0ms (1.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	82	8	90

Error

Counts

90 → 8

Alt Table

Status	Error	Program
	12.2b	(pow.f64 (cbrt.f64 (.f64 a1 (/.f64 a2 (.f64 b1 b2)))) 3)
	9.8b	(*.f64 (/.f64 a2 b2) (/.f64 a1 b1))
✓	9.2b	(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2)
▶	9.4b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	11.0b	(/.f64 a1 (/.f64 b2 (/.f64 a2 b1)))
	11.6b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	8.9b	(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
	10.3b	(/.f64 (/.f64 (/.f64 a2 b1) b2) (/.f64 1 a1))

Compiler

Compiled 1109 to 383 computations (65.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series28.0ms (0.9%)

Counts

1 → 48

Calls

12 calls:

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

rewrite38.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

364×	`rules-20_binary64`
214×	`rules-20-rev_binary64`
188×	`rules-34_binary64`
188×	`rules-35_binary64`
188×	`rules-36_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	202	10
2	2958	10

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

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

Outputs

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

simplify17.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

14×	`rules-14_binary64`
12×	`rules-6-rev_binary64`
12×	`rules-7_binary64`
6×	`rules-9_binary64`
2×	`rules-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	480
1	14	480
2	28	480
3	47	480
4	68	480
5	71	480

Stop Event

1×

saturated

Counts

91 → 44

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))

prune29.0ms (0.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	44	8	52

Error

Counts

52 → 8

Alt Table

Status	Error	Program
	12.2b	(pow.f64 (cbrt.f64 (.f64 a1 (/.f64 a2 (.f64 b1 b2)))) 3)
	9.8b	(*.f64 (/.f64 a2 b2) (/.f64 a1 b1))
✓	9.2b	(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2)
✓	9.4b	(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
	11.0b	(/.f64 a1 (/.f64 b2 (/.f64 a2 b1)))
	11.6b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	8.9b	(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
	10.3b	(/.f64 (/.f64 (/.f64 a2 b1) b2) (/.f64 1 a1))

Compiler

Compiled 608 to 197 computations (67.6% saved)

regimes471.0ms (15.3%)

Accuracy

Total 3.2b remaining (99.2%)

Threshold costs 0b (0%)

Counts

30 → 5

Compiler

Compiled 2800 to 1824 computations (34.9% 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
5e+305	∈ [	4.7504556775166584e+305	,	#hash((type . real) (value . +inf))	]
-0.0	∈ [	-0.0	,	9.642344703280603e-303	]
-2e-303	∈ [	-2.7841413653508167e-303	,	0.0	]
-1e+176	∈ [	-1.4560790031849657e+176	,	-3.503264015309031e+175	]

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	110

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -100000000000000000744898050207431989144199493858315387235964254131263985246781616026371987637390705840846560260278464628372543383280977318309056924111623883709653889736043921408) (/.f64 (/.f64 a1 (/.f64 b1 a2)) b2) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -6176826577981891/3088413288990945714607167766096760666649729152895234960279866913260350640380788374205938472006792060778611417607373228628384532735989280347702230834056678923362997806954442769843550227998248540363155634742320939156524772391123850992097524347673943425610505012700786888921103128284156837954503288400970554554866145951744) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0) (*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 500000000000000008608032298368227414415543912506619491164446008946190335622287523993960225937729797284303069430849145530155524612766474260348469402855720325061314257334714230178496312484014164775344612087642173365030358044414607127719847315059897273252756207808991071631335431459408181431059577374563631104) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1))))))

Outputs

(if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -100000000000000000744898050207431989144199493858315387235964254131263985246781616026371987637390705840846560260278464628372543383280977318309056924111623883709653889736043921408) (/.f64 (/.f64 a1 (/.f64 b1 a2)) b2) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -6176826577981891/3088413288990945714607167766096760666649729152895234960279866913260350640380788374205938472006792060778611417607373228628384532735989280347702230834056678923362997806954442769843550227998248540363155634742320939156524772391123850992097524347673943425610505012700786888921103128284156837954503288400970554554866145951744) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0) (*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 500000000000000008608032298368227414415543912506619491164446008946190335622287523993960225937729797284303069430849145530155524612766474260348469402855720325061314257334714230178496312484014164775344612087642173365030358044414607127719847315059897273252756207808991071631335431459408181431059577374563631104) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (/.f64 a2 b1) (/.f64 b2 a1))))))

end84.0ms (2.7%)

Stop Event

1×

fuel

Compiler

Compiled 251 to 117 computations (53.4% saved)

Details

analyze797.0ms (25.8%)

sample1.1s (34.8%)

preprocess16.0ms (0.5%)

simplify8.0ms (0.3%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series40.0ms (1.3%)

rewrite43.0ms (1.4%)

simplify23.0ms (0.7%)

prune58.0ms (1.9%)

localize5.0ms (0.2%)

series38.0ms (1.2%)

rewrite47.0ms (1.5%)

simplify25.0ms (0.8%)

prune66.0ms (2.2%)

localize5.0ms (0.2%)

series39.0ms (1.3%)

rewrite43.0ms (1.4%)

simplify24.0ms (0.8%)

prune55.0ms (1.8%)

localize5.0ms (0.2%)

series28.0ms (0.9%)

rewrite38.0ms (1.2%)

simplify17.0ms (0.6%)

prune29.0ms (0.9%)

regimes471.0ms (15.3%)

bsearch1.0ms (0%)

simplify2.0ms (0.1%)

end84.0ms (2.7%)

Profiling