Details

analyze463.0ms (4.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
12.7%	12.5%	85.8%	0.2%	1.6%	0%	0%	11
17.7%	17.2%	79.9%	0.2%	2.7%	0%	0%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample2.1s (20%)

Results

1.7s	8256×	body	256	valid
408.0ms	2449×	body	256	infinite

Bogosity

preprocess6.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

72×	`rational.json-simplify-2`
24×	`rational.json-simplify-43`
14×	`rational.json-simplify-52`
2×	`swap-y-t`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	175
1	41	133
2	54	133
3	71	133
4	87	133
5	93	133
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3
1

Call 2

Inputs
(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
(.f64 (-.f64 (.f64 y x) (*.f64 z x)) t)
(.f64 (-.f64 (.f64 z y) (*.f64 x y)) t)
(.f64 (-.f64 (.f64 t y) (*.f64 z y)) x)
(.f64 (-.f64 (.f64 x z) (*.f64 y z)) t)
(.f64 (-.f64 (.f64 x t) (*.f64 z t)) y)
(.f64 (-.f64 (.f64 x y) (*.f64 t y)) z)

Outputs
(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
(.f64 (-.f64 (.f64 x y) (*.f64 y z)) t)
(.f64 (.f64 y (-.f64 x z)) t)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 (.f64 y x) (*.f64 z x)) t)
(.f64 t (-.f64 (.f64 x y) (*.f64 x z)))
(.f64 t (.f64 x (-.f64 y z)))
(.f64 x (.f64 (-.f64 y z) t))
(.f64 x (.f64 t (-.f64 y z)))
(.f64 (-.f64 (.f64 z y) (*.f64 x y)) t)
(.f64 t (-.f64 (.f64 y z) (*.f64 x y)))
(.f64 t (.f64 y (-.f64 z x)))
(.f64 y (.f64 (-.f64 z x) t))
(.f64 y (.f64 t (-.f64 z x)))
(.f64 (-.f64 (.f64 t y) (*.f64 z y)) x)
(.f64 x (-.f64 (.f64 y t) (*.f64 y z)))
(.f64 x (.f64 y (-.f64 t z)))
(.f64 (-.f64 (.f64 x z) (*.f64 y z)) t)
(.f64 t (-.f64 (.f64 x z) (*.f64 y z)))
(.f64 t (.f64 z (-.f64 x y)))
(.f64 z (.f64 (-.f64 x y) t))
(.f64 (-.f64 x y) (.f64 z t))
(.f64 (.f64 z t) (-.f64 x y))
(.f64 (-.f64 (.f64 x t) (*.f64 z t)) y)
(.f64 (-.f64 (.f64 x y) (*.f64 y z)) t)
(.f64 (.f64 y (-.f64 x z)) t)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 (.f64 x y) (*.f64 t y)) z)
(.f64 z (-.f64 (.f64 x y) (*.f64 y t)))
(.f64 z (.f64 y (-.f64 x t)))
(.f64 y (.f64 (-.f64 x t) z))
(.f64 y (.f64 z (-.f64 x t)))

Symmetry

(sort y t)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify33.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

16×	`rational.json-simplify-2`
6×	`rational.json-simplify-43`
2×	`rational.json-simplify-52`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

Inputs
(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

Outputs
(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
(.f64 (-.f64 (.f64 x y) (*.f64 y z)) t)
(.f64 (.f64 y (-.f64 x z)) t)
(.f64 y (.f64 (-.f64 x z) t))
(.f64 y (.f64 t (-.f64 x z)))

eval1.0ms (0%)

Compiler: Compiled 43 to 18 computations (58.1% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	3	2	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	2	6

Error

0.1b

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	5.7b	(.f64 (.f64 y (-.f64 x z)) t)
▶	7.0b	(.f64 y (.f64 (-.f64 x z) t))

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 x z) t)
✓	6.6b	(.f64 y (.f64 (-.f64 x z) t))

Compiler

Compiled 23 to 7 computations (69.6% saved)

series7.0ms (0.1%)

Counts

2 → 84

Calls

21 calls:

Time	Variable		Point	Expression
1.0ms	z	@	inf	(.f64 y (.f64 (-.f64 x z) t))
1.0ms	x	@	inf	(.f64 y (.f64 (-.f64 x z) t))
1.0ms	y	@	0	(.f64 y (.f64 (-.f64 x z) t))
0.0ms	t	@	0	(.f64 y (.f64 (-.f64 x z) t))
0.0ms	t	@	inf	(.f64 y (.f64 (-.f64 x z) t))

rewrite86.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1480×	`bool.json-1`
1480×	`bool.json-2`
1438×	`rational.json-1`
1438×	`rational.json-2`
1438×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	90	32
2	254	32
3	560	32
4	1148	32
5	2620	32
6	5609	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

Inputs
(.f64 y (.f64 (-.f64 x z) t))
(*.f64 (-.f64 x z) t)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 y (.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))) (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (-.f64 x z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 t t) (.f64 y (-.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) (.f64 y (.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 y (.f64 (-.f64 x z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 y (.f64 (-.f64 x z) t)) (.f64 y (.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 y (.f64 (-.f64 x z) t)) (.f64 y (.f64 (-.f64 x z) t)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x z) t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 x z) t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x z) (.f64 t 1/2)) (.f64 (-.f64 x z) (.f64 t 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 x z) t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) (+.f64 t t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) (.f64 t 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 x z) t) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (-.f64 x z) t) (.f64 (-.f64 x z) t))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (-.f64 x z) t) (*.f64 (-.f64 x z) t))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (*.f64 y (*.f64 t 1/2))) (*.f64 (-.f64 x z) (*.f64 y (*.f64 t 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 t t) (*.f64 y (-.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 y (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 8)) (*.f64 2 (*.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (*.f64 (-.f64 x z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (*.f64 (-.f64 x z) t)) (*.f64 y (*.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (*.f64 (-.f64 x z) t)) (*.f64 y (*.f64 (-.f64 x z) t)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 x z) t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (*.f64 t 1/2)) (*.f64 (-.f64 x z) (*.f64 t 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 x z) t) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (+.f64 t t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 t 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 x z) t) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) t) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) t) 8)) (*.f64 2 (*.f64 (*.f64 (-.f64 x z) t) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (-.f64 x z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (-.f64 x z) t) (*.f64 (-.f64 x z) t))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (-.f64 x z) t) (*.f64 (-.f64 x z) t))))))

simplify653.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

3962×	`rational.json-simplify-35`
2938×	`rational.json-simplify-2`
1322×	`rational.json-simplify-1`
1216×	`rational.json-simplify-53`
848×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	67	2204
1	163	1796
2	374	1796
3	951	1796
4	2261	1796
5	4261	1796
6	4582	1796
7	4859	1796
8	5072	1796
9	5284	1796
10	6333	1796
11	6766	1796
12	6788	1796
13	6791	1796
14	6794	1796
15	7006	1796
16	7218	1796
17	7430	1796
18	7642	1796
19	7854	1796

Stop Event

1×	node limit

Counts

104 → 43

Calls

Call 1

Inputs
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(.f64 -1 (.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(.f64 -1 (.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(+.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)
(+.f64 0 (.f64 y (.f64 (-.f64 x z) t)))
(+.f64 (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))) (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))))
(-.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)
(/.f64 (.f64 y (.f64 (-.f64 x z) t)) 1)
(/.f64 (.f64 (+.f64 t t) (.f64 y (-.f64 x z))) 2)
(/.f64 (.f64 (-.f64 x z) (.f64 y (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 y (*.f64 (-.f64 x z) t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8))) 32)
(+.f64 (*.f64 (-.f64 x z) t) 0)
(+.f64 0 (*.f64 (-.f64 x z) t))
(+.f64 (.f64 (-.f64 x z) (.f64 t 1/2)) (.f64 (-.f64 x z) (.f64 t 1/2)))
(-.f64 (*.f64 (-.f64 x z) t) 0)
(/.f64 (*.f64 (-.f64 x z) t) 1)
(/.f64 (*.f64 (-.f64 x z) (+.f64 t t)) 2)
(/.f64 (.f64 (-.f64 x z) (.f64 t 4)) 4)
(/.f64 (.f64 (.f64 (-.f64 x z) t) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (-.f64 x z) t) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8))) 32)

Outputs
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 y (.f64 t (*.f64 z -1)))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 t (neg.f64 (.f64 y z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 y (.f64 t (*.f64 z -1)))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 t (neg.f64 (.f64 y z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 y (.f64 t (*.f64 z -1)))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 t (neg.f64 (.f64 y z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t (.f64 z -1))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(.f64 -1 (.f64 t z))
(.f64 t (.f64 z -1))
(*.f64 t (neg.f64 z))
(neg.f64 (*.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(*.f64 t x)
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 t z))
(.f64 t (.f64 z -1))
(*.f64 t (neg.f64 z))
(neg.f64 (*.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 t z))
(.f64 t (.f64 z -1))
(*.f64 t (neg.f64 z))
(neg.f64 (*.f64 t z))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 t z)) (*.f64 t x))
(+.f64 (.f64 t x) (.f64 t (*.f64 z -1)))
(*.f64 t (+.f64 x (neg.f64 z)))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(+.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(+.f64 0 (.f64 y (.f64 (-.f64 x z) t)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(+.f64 (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))) (.f64 (-.f64 x z) (.f64 y (.f64 t 1/2))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(-.f64 (.f64 y (.f64 (-.f64 x z) t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (.f64 y (.f64 (-.f64 x z) t)) 1)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (.f64 (+.f64 t t) (.f64 y (-.f64 x z))) 2)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (.f64 (-.f64 x z) (.f64 y (*.f64 t 4))) 4)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (.f64 (.f64 y (*.f64 (-.f64 x z) t)) 8) 8)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) 16)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8)) (.f64 2 (.f64 (.f64 y (.f64 (-.f64 x z) t)) 8))) 32)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 (-.f64 x z) (.f64 y t))
(+.f64 (*.f64 (-.f64 x z) t) 0)
(*.f64 t (-.f64 x z))
(+.f64 0 (*.f64 (-.f64 x z) t))
(*.f64 t (-.f64 x z))
(+.f64 (.f64 (-.f64 x z) (.f64 t 1/2)) (.f64 (-.f64 x z) (.f64 t 1/2)))
(*.f64 t (-.f64 x z))
(-.f64 (*.f64 (-.f64 x z) t) 0)
(*.f64 t (-.f64 x z))
(/.f64 (*.f64 (-.f64 x z) t) 1)
(*.f64 t (-.f64 x z))
(/.f64 (*.f64 (-.f64 x z) (+.f64 t t)) 2)
(*.f64 t (-.f64 x z))
(/.f64 (.f64 (-.f64 x z) (.f64 t 4)) 4)
(*.f64 t (-.f64 x z))
(/.f64 (.f64 (.f64 (-.f64 x z) t) 8) 8)
(*.f64 t (-.f64 x z))
(/.f64 (.f64 2 (.f64 (*.f64 (-.f64 x z) t) 8)) 16)
(*.f64 t (-.f64 x z))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) t) 8))) 32)
(*.f64 t (-.f64 x z))

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 y (-.f64 x z))
✓	5.3b	(.f64 (.f64 y (-.f64 x z)) t)

Compiler

Compiled 23 to 7 computations (69.6% saved)

series4.0ms (0%)

Counts

2 → 72

Calls

21 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 y (-.f64 x z))
0.0ms	y	@	inf	(*.f64 y (-.f64 x z))
0.0ms	x	@	0	(*.f64 y (-.f64 x z))
0.0ms	y	@	0	(*.f64 y (-.f64 x z))
0.0ms	y	@	-inf	(*.f64 y (-.f64 x z))

rewrite90.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1464×	`bool.json-1`
1464×	`bool.json-2`
1422×	`rational.json-1`
1422×	`rational.json-2`
1422×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	88	32
2	240	32
3	532	32
4	1114	32
5	2545	32
6	5472	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

Inputs
(.f64 (.f64 y (-.f64 x z)) t)
(*.f64 y (-.f64 x z))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 x z) (.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)) (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) (.f64 y t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (-.f64 x z) (+.f64 t t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (-.f64 x z) (.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (-.f64 x z) (.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (-.f64 x z) (.f64 y t)) (.f64 (-.f64 x z) (.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (-.f64 x z) (.f64 y t)) (.f64 (-.f64 x z) (.f64 y t)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (-.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 y (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (/.f64 (-.f64 z x) -2)) (.f64 y (/.f64 (-.f64 z x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 y (-.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (-.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (-.f64 z x) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x z) (.f64 y 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 y (-.f64 x z)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8)) (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 y (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 y (-.f64 x z)) (.f64 y (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 y (-.f64 x z)) (.f64 y (-.f64 x z)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 x z) (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (/.f64 (*.f64 y t) 2)) (*.f64 (-.f64 x z) (/.f64 (*.f64 y t) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (-.f64 x z) (+.f64 t t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (-.f64 x z) (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8)) (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (-.f64 x z) (*.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (-.f64 x z) (*.f64 y t)) (*.f64 (-.f64 x z) (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (-.f64 x z) (*.f64 y t)) (*.f64 (-.f64 x z) (*.f64 y t)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (-.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (/.f64 (-.f64 z x) -2)) (*.f64 y (/.f64 (-.f64 z x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (-.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (-.f64 z x) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 y 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (-.f64 x z)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y (-.f64 x z)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 y (-.f64 x z)) 8)) (*.f64 2 (*.f64 (*.f64 y (-.f64 x z)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (-.f64 x z)) (*.f64 y (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (-.f64 x z)) (*.f64 y (-.f64 x z)))))))

simplify697.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

3766×	`rational.json-simplify-35`
3706×	`rational.json-simplify-2`
1440×	`rational.json-simplify-53`
1190×	`rational.json-simplify-1`
1140×	`rational.json-simplify-49`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	74	2078
1	174	1760
2	389	1652
3	960	1652
4	2648	1652
5	3636	1652
6	4347	1652
7	4611	1652
8	4831	1652
9	4832	1652
10	6428	1652
11	6431	1652
12	6437	1652
13	6437	1652
14	6641	1652
15	6845	1652
16	7049	1652
17	7253	1652
18	7457	1652
19	7661	1652

Stop Event

1×	node limit

Counts

92 → 43

Calls

Call 1

Inputs
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(+.f64 0 (.f64 (-.f64 x z) (.f64 y t)))
(+.f64 (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)) (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)))
(-.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(/.f64 (.f64 (-.f64 x z) (.f64 y t)) 1)
(/.f64 (.f64 y (.f64 (-.f64 x z) (+.f64 t t))) 2)
(/.f64 (.f64 y (.f64 (-.f64 x z) (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 (-.f64 x z) (*.f64 y t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8))) 32)
(+.f64 (*.f64 y (-.f64 x z)) 0)
(+.f64 0 (*.f64 y (-.f64 x z)))
(+.f64 (.f64 y (/.f64 (-.f64 z x) -2)) (.f64 y (/.f64 (-.f64 z x) -2)))
(-.f64 (*.f64 y (-.f64 x z)) 0)
(/.f64 (*.f64 y (-.f64 x z)) 1)
(/.f64 (.f64 y (.f64 (-.f64 z x) -2)) 2)
(/.f64 (.f64 (-.f64 x z) (.f64 y 4)) 4)
(/.f64 (.f64 (.f64 y (-.f64 x z)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 y (-.f64 x z)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8)) (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8))) 32)

Outputs
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 t (.f64 y (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 t (.f64 y (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 t (.f64 y (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 t (.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 y t) (+.f64 x (neg.f64 z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 -1 (.f64 y z))
(.f64 y (.f64 z -1))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(*.f64 y x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 y x))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 y z))
(.f64 y (.f64 z -1))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(.f64 -1 (.f64 y z))
(.f64 y (.f64 z -1))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (.f64 z -1)) (*.f64 y x))
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(+.f64 0 (.f64 (-.f64 x z) (.f64 y t)))
(.f64 y (.f64 t (-.f64 x z)))
(+.f64 (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)) (.f64 (-.f64 x z) (/.f64 (.f64 y t) 2)))
(.f64 y (.f64 t (-.f64 x z)))
(-.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (.f64 (-.f64 x z) (.f64 y t)) 1)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (.f64 y (.f64 (-.f64 x z) (+.f64 t t))) 2)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (.f64 y (.f64 (-.f64 x z) (*.f64 t 4))) 4)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (.f64 (.f64 (-.f64 x z) (*.f64 y t)) 8) 8)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) 16)
(.f64 y (.f64 t (-.f64 x z)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8))) 32)
(.f64 y (.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (-.f64 x z)) 0)
(*.f64 y (-.f64 x z))
(+.f64 0 (*.f64 y (-.f64 x z)))
(*.f64 y (-.f64 x z))
(+.f64 (.f64 y (/.f64 (-.f64 z x) -2)) (.f64 y (/.f64 (-.f64 z x) -2)))
(*.f64 (/.f64 (-.f64 z x) -2) (+.f64 y y))
(.f64 2 (.f64 y (/.f64 (-.f64 z x) -2)))
(-.f64 (*.f64 y (-.f64 x z)) 0)
(*.f64 y (-.f64 x z))
(/.f64 (*.f64 y (-.f64 x z)) 1)
(*.f64 y (-.f64 x z))
(/.f64 (.f64 y (.f64 (-.f64 z x) -2)) 2)
(*.f64 y (-.f64 x z))
(/.f64 (.f64 (-.f64 x z) (.f64 y 4)) 4)
(*.f64 y (-.f64 x z))
(/.f64 (.f64 (.f64 y (-.f64 x z)) 8) 8)
(*.f64 y (-.f64 x z))
(/.f64 (.f64 2 (.f64 (*.f64 y (-.f64 x z)) 8)) 16)
(*.f64 y (-.f64 x z))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8)) (.f64 2 (.f64 (.f64 y (-.f64 x z)) 8))) 32)
(*.f64 y (-.f64 x z))

eval12.0ms (0.1%)

Compiler: Compiled 865 to 321 computations (62.9% saved)

prune17.0ms (0.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	79	7	86
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	80	8	88

Error

0.0b

Counts

88 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	6.3b	(.f64 (-.f64 x z) (.f64 y t))
✓	5.7b	(.f64 (.f64 y (-.f64 x z)) t)
	31.9b	(.f64 (.f64 y (neg.f64 z)) t)
▶	30.3b	(.f64 (.f64 y x) t)
	32.4b	(.f64 y (.f64 (neg.f64 z) t))
▶	31.1b	(.f64 y (.f64 t x))
▶	30.7b	(.f64 x (.f64 y t))
▶	32.3b	(neg.f64 (.f64 z (.f64 y t)))

Compiler

Compiled 147 to 99 computations (32.7% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.1b	(.f64 (-.f64 x z) (.f64 y t))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(.f64 (-.f64 x z) (.f64 y t))
0.0ms	z	@	-inf	(.f64 (-.f64 x z) (.f64 y t))
0.0ms	x	@	-inf	(.f64 (-.f64 x z) (.f64 y t))
0.0ms	x	@	inf	(.f64 (-.f64 x z) (.f64 y t))
0.0ms	z	@	inf	(.f64 (-.f64 x z) (.f64 y t))

rewrite84.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1482×	`bool.json-1`
1482×	`bool.json-2`
1440×	`rational.json-1`
1440×	`rational.json-2`
1440×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	90	19
2	254	19
3	560	19
4	1148	19
5	2623	19
6	5623	19

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(.f64 (-.f64 x z) (.f64 y t))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 x z) (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x z) (*.f64 t (*.f64 y 1/2))) (*.f64 (-.f64 x z) (*.f64 t (*.f64 y 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y t) (*.f64 (-.f64 x z) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) (*.f64 y (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8)) (*.f64 2 (*.f64 (*.f64 (-.f64 x z) (*.f64 y t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (-.f64 x z) (*.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (-.f64 x z) (*.f64 y t)) (*.f64 (-.f64 x z) (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (-.f64 x z) (*.f64 y t)) (*.f64 (-.f64 x z) (*.f64 y t)))))))

simplify587.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

4038×	`rational.json-simplify-35`
3320×	`rational.json-simplify-2`
1176×	`rational.json-simplify-43`
1018×	`rational.json-simplify-53`
860×	`rational.json-simplify-49`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	1408
1	115	1258
2	268	1258
3	728	1150
4	2699	1150
5	4214	1150
6	4802	1150
7	5127	1150
8	5381	1150
9	5382	1150
10	5382	1150
11	5382	1150
12	5631	1150
13	5880	1150
14	6129	1150
15	6378	1150
16	6627	1150
17	7908	1150
18	7909	1150
19	7911	1150
20	7911	1150

Stop Event

1×	node limit

Counts

58 → 23

Calls

Call 1

Inputs
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(+.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(+.f64 0 (.f64 (-.f64 x z) (.f64 y t)))
(+.f64 (.f64 (-.f64 x z) (.f64 t (.f64 y 1/2))) (.f64 (-.f64 x z) (.f64 t (.f64 y 1/2))))
(-.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(/.f64 (.f64 (-.f64 x z) (.f64 y t)) 1)
(/.f64 (.f64 (.f64 y t) (*.f64 (-.f64 x z) 2)) 2)
(/.f64 (.f64 (-.f64 x z) (.f64 y (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 (-.f64 x z) (*.f64 y t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8))) 32)

Outputs
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 y (.f64 t (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 y (.f64 t (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 y (.f64 t (neg.f64 z)))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y (.f64 t x)) (.f64 -1 (.f64 y (*.f64 t z))))
(+.f64 (.f64 -1 (.f64 y (.f64 t z))) (.f64 y (*.f64 t x)))
(.f64 y (+.f64 (.f64 t x) (neg.f64 (*.f64 t z))))
(.f64 y (.f64 t (+.f64 x (neg.f64 z))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(+.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(+.f64 0 (.f64 (-.f64 x z) (.f64 y t)))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(+.f64 (.f64 (-.f64 x z) (.f64 t (.f64 y 1/2))) (.f64 (-.f64 x z) (.f64 t (.f64 y 1/2))))
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(-.f64 (.f64 (-.f64 x z) (.f64 y t)) 0)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (.f64 (-.f64 x z) (.f64 y t)) 1)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (.f64 (.f64 y t) (*.f64 (-.f64 x z) 2)) 2)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (.f64 (-.f64 x z) (.f64 y (*.f64 t 4))) 4)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (.f64 (.f64 (-.f64 x z) (*.f64 y t)) 8) 8)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) 16)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8)) (.f64 2 (.f64 (.f64 (-.f64 x z) (.f64 y t)) 8))) 32)
(.f64 y (.f64 t (-.f64 x z)))
(.f64 t (.f64 y (-.f64 x z)))

localize51.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.3b	(.f64 x (.f64 y t))

Compiler

Compiled 15 to 6 computations (60% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(.f64 x (.f64 y t))
0.0ms	x	@	0	(.f64 x (.f64 y t))
0.0ms	t	@	0	(.f64 x (.f64 y t))
0.0ms	t	@	inf	(.f64 x (.f64 y t))
0.0ms	x	@	inf	(.f64 x (.f64 y t))

rewrite104.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 x (.f64 y t))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y (*.f64 t 1/2))) (*.f64 x (*.f64 y (*.f64 t 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (+.f64 t t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (*.f64 y t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 x (*.f64 y t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (*.f64 y t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (*.f64 y t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (*.f64 y t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x (*.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x (*.f64 y t)) (*.f64 x (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x (*.f64 y t)) (*.f64 x (*.f64 y t)))))))

simplify497.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

3790×	`rational.json-simplify-35`
2952×	`rational.json-simplify-2`
2792×	`rational.json-simplify-53`
1104×	`rational.json-simplify-43`
862×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	611
1	105	611
2	237	611
3	606	611
4	2576	611
5	4072	611
6	4792	611
7	5127	611
8	5132	611
9	5135	611
10	6301	611
11	6301	611
12	6301	611
13	6567	611
14	6833	611
15	7099	611
16	7365	611
17	7631	611
18	7631	611

Stop Event

1×	node limit

Counts

47 → 13

Calls

Call 1

Inputs
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(+.f64 (.f64 x (.f64 y t)) 0)
(+.f64 0 (.f64 x (.f64 y t)))
(+.f64 (.f64 x (.f64 y (.f64 t 1/2))) (.f64 x (.f64 y (.f64 t 1/2))))
(-.f64 (.f64 x (.f64 y t)) 0)
(/.f64 (.f64 x (.f64 y t)) 1)
(/.f64 (.f64 x (.f64 y (+.f64 t t))) 2)
(/.f64 (.f64 y (.f64 x (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 x (*.f64 y t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (*.f64 y t)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8)))) 64)

Outputs
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 x (.f64 y t)) 0)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 0 (.f64 x (.f64 y t)))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 x (.f64 y (.f64 t 1/2))) (.f64 x (.f64 y (.f64 t 1/2))))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(-.f64 (.f64 x (.f64 y t)) 0)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 x (.f64 y t)) 1)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 x (.f64 y (+.f64 t t))) 2)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 y (.f64 x (*.f64 t 4))) 4)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 (.f64 x (*.f64 y t)) 8) 8)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8)) 16)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (*.f64 y t)) 8))) 32)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 x (.f64 y t)) 8)))) 64)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.6b	(.f64 y (.f64 t x))

Compiler

Compiled 15 to 6 computations (60% saved)

series43.0ms (0.4%)

Counts

1 → 0

Calls

9 calls:

Time	Variable		Point	Expression
42.0ms	x	@	0	(.f64 y (.f64 t x))
0.0ms	x	@	inf	(.f64 y (.f64 t x))
0.0ms	t	@	inf	(.f64 y (.f64 t x))
0.0ms	x	@	-inf	(.f64 y (.f64 t x))
0.0ms	y	@	0	(.f64 y (.f64 t x))

rewrite101.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 y (.f64 t x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 t x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 t x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 t (*.f64 x 1/2))) (*.f64 y (*.f64 t (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 t x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 t x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 t (+.f64 x x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 t (*.f64 y (*.f64 x 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (*.f64 t x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y (*.f64 t x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 t x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 t x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 t x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (*.f64 t x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (*.f64 t x)) (*.f64 y (*.f64 t x)))))))

simplify468.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

3798×	`rational.json-simplify-35`
2474×	`rational.json-simplify-2`
2250×	`rational.json-simplify-53`
968×	`rational.json-simplify-43`
766×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	143
1	101	143
2	225	143
3	557	143
4	2316	143
5	3732	143
6	4407	143
7	4711	143
8	4952	143
9	4955	143
10	5926	143
11	5926	143
12	5926	143
13	6162	143
14	6398	143
15	6634	143
16	6870	143
17	7106	143
18	7106	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

Inputs
(+.f64 (.f64 y (.f64 t x)) 0)
(+.f64 0 (.f64 y (.f64 t x)))
(+.f64 (.f64 y (.f64 t (.f64 x 1/2))) (.f64 y (.f64 t (.f64 x 1/2))))
(-.f64 (.f64 y (.f64 t x)) 0)
(/.f64 (.f64 y (.f64 t x)) 1)
(/.f64 (.f64 y (.f64 t (+.f64 x x))) 2)
(/.f64 (.f64 t (.f64 y (*.f64 x 4))) 4)
(/.f64 (.f64 (.f64 y (*.f64 t x)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (*.f64 t x)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8)))) 64)

Outputs
(+.f64 (.f64 y (.f64 t x)) 0)
(.f64 y (.f64 t x))
(+.f64 0 (.f64 y (.f64 t x)))
(.f64 y (.f64 t x))
(+.f64 (.f64 y (.f64 t (.f64 x 1/2))) (.f64 y (.f64 t (.f64 x 1/2))))
(.f64 y (.f64 t x))
(-.f64 (.f64 y (.f64 t x)) 0)
(.f64 y (.f64 t x))
(/.f64 (.f64 y (.f64 t x)) 1)
(.f64 y (.f64 t x))
(/.f64 (.f64 y (.f64 t (+.f64 x x))) 2)
(.f64 y (.f64 t x))
(/.f64 (.f64 t (.f64 y (*.f64 x 4))) 4)
(.f64 y (.f64 t x))
(/.f64 (.f64 (.f64 y (*.f64 t x)) 8) 8)
(.f64 y (.f64 t x))
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8)) 16)
(.f64 y (.f64 t x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (*.f64 t x)) 8))) 32)
(.f64 y (.f64 t x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 t x)) 8)))) 64)
(.f64 y (.f64 t x))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.5b	(.f64 (.f64 y x) t)

Compiler

Compiled 15 to 6 computations (60% saved)

series71.0ms (0.7%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
70.0ms	x	@	0	(.f64 (.f64 y x) t)
0.0ms	x	@	inf	(.f64 (.f64 y x) t)
0.0ms	y	@	inf	(.f64 (.f64 y x) t)
0.0ms	y	@	0	(.f64 (.f64 y x) t)
0.0ms	x	@	-inf	(.f64 (.f64 y x) t)

rewrite107.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1832×	`bool.json-1`
1832×	`bool.json-2`
1172×	`rational.json-1`
1172×	`rational.json-2`
1172×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	200	13
3	443	13
4	909	13
5	2028	13
6	4403	13
7	7420	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 y x) t)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 x t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x (*.f64 t 1/2))) (*.f64 y (*.f64 x (*.f64 t 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 x t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (+.f64 t t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (*.f64 x t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y (*.f64 x t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 x t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 x t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (*.f64 x t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (*.f64 x t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (*.f64 x t)) (*.f64 y (*.f64 x t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (*.f64 x t)) (*.f64 y (*.f64 x t)))))))

simplify561.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

3876×	`rational.json-simplify-35`
3488×	`rational.json-simplify-53`
3208×	`rational.json-simplify-2`
1036×	`rational.json-simplify-43`
818×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	611
1	104	611
2	228	611
3	579	611
4	2452	611
5	3721	611
6	4904	611
7	5216	611
8	5466	611
9	5469	611
10	5470	611
11	5470	611
12	5470	611
13	5715	611
14	5960	611
15	6205	611
16	6450	611
17	6695	611
18	7990	611
19	7990	611
20	7990	611

Stop Event

1×	node limit

Counts

47 → 13

Calls

Call 1

Inputs
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(.f64 y (.f64 t x))
(+.f64 (.f64 y (.f64 x t)) 0)
(+.f64 0 (.f64 y (.f64 x t)))
(+.f64 (.f64 y (.f64 x (.f64 t 1/2))) (.f64 y (.f64 x (.f64 t 1/2))))
(-.f64 (.f64 y (.f64 x t)) 0)
(/.f64 (.f64 y (.f64 x t)) 1)
(/.f64 (.f64 y (.f64 x (+.f64 t t))) 2)
(/.f64 (.f64 y (.f64 x (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 y (*.f64 x t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (*.f64 x t)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8)))) 64)

Outputs
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 y (.f64 x t)) 0)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 0 (.f64 y (.f64 x t)))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(+.f64 (.f64 y (.f64 x (.f64 t 1/2))) (.f64 y (.f64 x (.f64 t 1/2))))
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(-.f64 (.f64 y (.f64 x t)) 0)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 y (.f64 x t)) 1)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 y (.f64 x (+.f64 t t))) 2)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 y (.f64 x (*.f64 t 4))) 4)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 (.f64 y (*.f64 x t)) 8) 8)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8)) 16)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (*.f64 x t)) 8))) 32)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (.f64 x t)) 8)))) 64)
(.f64 y (.f64 t x))
(.f64 t (.f64 y x))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.3b	(.f64 z (.f64 y t))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series4.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	(.f64 z (.f64 y t))
0.0ms	y	@	0	(.f64 z (.f64 y t))
0.0ms	t	@	inf	(.f64 z (.f64 y t))
0.0ms	t	@	0	(.f64 z (.f64 y t))
0.0ms	z	@	0	(.f64 z (.f64 y t))

rewrite101.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 z (.f64 y t))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 y (*.f64 t 1/2))) (*.f64 z (*.f64 y (*.f64 t 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (*.f64 y t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 y t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 y (+.f64 t t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 z (*.f64 t 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z (*.f64 y t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 z (*.f64 y t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (*.f64 y t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (*.f64 y t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 z (*.f64 y t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 z (*.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 z (*.f64 y t)) (*.f64 z (*.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 z (*.f64 y t)) (*.f64 z (*.f64 y t)))))))

simplify495.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

3790×	`rational.json-simplify-35`
2952×	`rational.json-simplify-2`
2792×	`rational.json-simplify-53`
1104×	`rational.json-simplify-43`
862×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	611
1	105	611
2	237	611
3	606	611
4	2576	611
5	4072	611
6	4792	611
7	5127	611
8	5132	611
9	5135	611
10	6301	611
11	6301	611
12	6301	611
13	6567	611
14	6833	611
15	7099	611
16	7365	611
17	7631	611
18	7631	611

Stop Event

1×	node limit

Counts

47 → 13

Calls

Call 1

Inputs
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(.f64 y (.f64 t z))
(+.f64 (.f64 z (.f64 y t)) 0)
(+.f64 0 (.f64 z (.f64 y t)))
(+.f64 (.f64 z (.f64 y (.f64 t 1/2))) (.f64 z (.f64 y (.f64 t 1/2))))
(-.f64 (.f64 z (.f64 y t)) 0)
(/.f64 (.f64 z (.f64 y t)) 1)
(/.f64 (.f64 z (.f64 y (+.f64 t t))) 2)
(/.f64 (.f64 y (.f64 z (*.f64 t 4))) 4)
(/.f64 (.f64 (.f64 z (*.f64 y t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (*.f64 y t)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8)))) 64)

Outputs
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(+.f64 (.f64 z (.f64 y t)) 0)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(+.f64 0 (.f64 z (.f64 y t)))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(+.f64 (.f64 z (.f64 y (.f64 t 1/2))) (.f64 z (.f64 y (.f64 t 1/2))))
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(-.f64 (.f64 z (.f64 y t)) 0)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 z (.f64 y t)) 1)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 z (.f64 y (+.f64 t t))) 2)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 y (.f64 z (*.f64 t 4))) 4)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 (.f64 z (*.f64 y t)) 8) 8)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8)) 16)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (*.f64 y t)) 8))) 32)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 z (.f64 y t)) 8)))) 64)
(.f64 y (.f64 t z))
(.f64 t (.f64 y z))

eval59.0ms (0.6%)

Compiler: Compiled 753 to 347 computations (53.9% saved)

prune14.0ms (0.1%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	1	2
Picked	0	1	1
Done	0	5	5
Total	74	8	82

Error

0.0b

Counts

82 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	6.3b	(.f64 (-.f64 x z) (.f64 y t))
✓	5.7b	(.f64 (.f64 y (-.f64 x z)) t)
▶	31.9b	(.f64 (.f64 y (neg.f64 z)) t)
✓	30.3b	(.f64 (.f64 y x) t)
▶	32.4b	(.f64 (.f64 t z) (neg.f64 y))
✓	31.1b	(.f64 y (.f64 t x))
✓	30.7b	(.f64 x (.f64 y t))
✓	32.3b	(neg.f64 (.f64 z (.f64 y t)))

Compiler

Compiled 79 to 53 computations (32.9% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.8b	(.f64 (.f64 t z) (neg.f64 y))

Compiler

Compiled 18 to 7 computations (61.1% saved)

series4.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	y	@	0	(.f64 (.f64 t z) (neg.f64 y))
0.0ms	t	@	0	(.f64 (.f64 t z) (neg.f64 y))
0.0ms	z	@	0	(.f64 (.f64 t z) (neg.f64 y))
0.0ms	y	@	inf	(.f64 (.f64 t z) (neg.f64 y))
0.0ms	t	@	inf	(.f64 (.f64 t z) (neg.f64 y))

rewrite104.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1782×	`bool.json-1`
1782×	`bool.json-2`
1186×	`bool.json-3`
1166×	`rational.json-simplify-2`
954×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	92	17
2	260	17
3	593	17
4	1344	17
5	3216	17
6	6898	17

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 (.f64 t z) (neg.f64 y))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 t (*.f64 z (neg.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 t (*.f64 z (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 t (*.f64 z y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 t z) (*.f64 y -1/2)) (*.f64 (*.f64 t z) (*.f64 y -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 t (*.f64 z (neg.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 t (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 t (*.f64 z (neg.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 t (*.f64 z (*.f64 y -2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 t (*.f64 (*.f64 z y) -4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 t (*.f64 z y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 t (*.f64 z (neg.f64 y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 t (*.f64 z (neg.f64 y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 t (*.f64 z (neg.f64 y))) 8)) (*.f64 2 (*.f64 (*.f64 t (*.f64 z (neg.f64 y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 t (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 t (*.f64 z (neg.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 t (*.f64 z (neg.f64 y))) (*.f64 t (*.f64 z (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 t (*.f64 z (neg.f64 y))) (*.f64 t (*.f64 z (neg.f64 y))))))))

simplify418.0ms (4%)

Algorithm

1×	egg-herbie

Rules

3752×	`rational.json-simplify-35`
2908×	`rational.json-simplify-2`
1100×	`rational.json-simplify-43`
1004×	`rational.json-simplify-1`
840×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	850
1	121	850
2	271	850
3	677	850
4	2859	850
5	3976	850
6	4589	850
7	4917	850
8	5233	850
9	5354	850
10	6567	850
11	6685	850
12	6781	850
13	6828	850
14	7134	850
15	7491	850
16	7805	850

Stop Event

1×	node limit

Counts

50 → 20

Calls

Call 1

Inputs
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 t (.f64 z (neg.f64 y))) 0)
(+.f64 0 (.f64 t (.f64 z (neg.f64 y))))
(+.f64 -1 (-.f64 1 (.f64 t (.f64 z y))))
(+.f64 (.f64 (.f64 t z) (.f64 y -1/2)) (.f64 (.f64 t z) (.f64 y -1/2)))
(-.f64 (.f64 t (.f64 z (neg.f64 y))) 0)
(-.f64 0 (.f64 t (.f64 z y)))
(/.f64 (.f64 t (.f64 z (neg.f64 y))) 1)
(/.f64 (.f64 t (.f64 z (*.f64 y -2))) 2)
(/.f64 (.f64 t (.f64 (*.f64 z y) -4)) 4)
(/.f64 (.f64 t (.f64 z y)) -1)
(/.f64 (.f64 (.f64 t (*.f64 z (neg.f64 y))) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8)) (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8))) 32)
(neg.f64 (.f64 t (.f64 z y)))

Outputs
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(+.f64 (.f64 t (.f64 z (neg.f64 y))) 0)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(+.f64 0 (.f64 t (.f64 z (neg.f64 y))))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(+.f64 -1 (-.f64 1 (.f64 t (.f64 z y))))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(+.f64 (.f64 (.f64 t z) (.f64 y -1/2)) (.f64 (.f64 t z) (.f64 y -1/2)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(-.f64 (.f64 t (.f64 z (neg.f64 y))) 0)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(-.f64 0 (.f64 t (.f64 z y)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 t (.f64 z (neg.f64 y))) 1)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 t (.f64 z (*.f64 y -2))) 2)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 t (.f64 (*.f64 z y) -4)) 4)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 t (.f64 z y)) -1)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 (.f64 t (*.f64 z (neg.f64 y))) 8) 8)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8)) 16)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8)) (.f64 2 (.f64 (.f64 t (.f64 z (neg.f64 y))) 8))) 32)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))
(neg.f64 (.f64 t (.f64 z y)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 y (.f64 z (neg.f64 t)))
(.f64 y (neg.f64 (.f64 t z)))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.9b	(.f64 (.f64 y (neg.f64 z)) t)

Compiler

Compiled 19 to 7 computations (63.2% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 (.f64 y (neg.f64 z)) t)
0.0ms	y	@	inf	(.f64 (.f64 y (neg.f64 z)) t)
0.0ms	z	@	-inf	(.f64 (.f64 y (neg.f64 z)) t)
0.0ms	z	@	inf	(.f64 (.f64 y (neg.f64 z)) t)
0.0ms	y	@	-inf	(.f64 (.f64 y (neg.f64 z)) t)

rewrite89.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1726×	`bool.json-1`
1726×	`bool.json-2`
1672×	`rational.json-1`
1148×	`bool.json-3`
1116×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	92	17
2	260	17
3	583	17
4	1282	17
5	3120	17
6	6740	17

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 y (neg.f64 z)) t)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (neg.f64 y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y t) (*.f64 z -1/2)) (*.f64 (*.f64 y t) (*.f64 z -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (*.f64 y (*.f64 z t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y t) (*.f64 z -4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 8)) (*.f64 2 (*.f64 (*.f64 (neg.f64 y) (*.f64 z t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 y (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (neg.f64 y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (neg.f64 y) (*.f64 z t)) (*.f64 (neg.f64 y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (neg.f64 y) (*.f64 z t)) (*.f64 (neg.f64 y) (*.f64 z t)))))))

simplify397.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2900×	`rational.json-simplify-35`
2330×	`rational.json-simplify-53`
1318×	`rational.json-simplify-49`
1166×	`rational.json-simplify-43`
972×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	799
1	105	799
2	259	799
3	801	799
4	3268	799
5	4392	799
6	5627	799
7	6017	799
8	6093	799
9	6224	799
10	6338	799
11	6445	799
12	7387	799
13	7705	799
14	7998	799

Stop Event

1×	node limit

Counts

47 → 16

Calls

Call 1

Inputs
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(.f64 -1 (.f64 y (*.f64 t z)))
(+.f64 (.f64 (neg.f64 y) (.f64 z t)) 0)
(+.f64 0 (.f64 (neg.f64 y) (.f64 z t)))
(+.f64 (.f64 (.f64 y t) (.f64 z -1/2)) (.f64 (.f64 y t) (.f64 z -1/2)))
(-.f64 (.f64 (neg.f64 y) (.f64 z t)) 0)
(/.f64 (.f64 (neg.f64 y) (.f64 z t)) 1)
(/.f64 (.f64 -2 (.f64 y (*.f64 z t))) 2)
(/.f64 (.f64 (.f64 y t) (*.f64 z -4)) 4)
(/.f64 (.f64 (.f64 (neg.f64 y) (*.f64 z t)) 8) 8)
(/.f64 (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8)) (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8))) 32)
(neg.f64 (.f64 y (.f64 z t)))

Outputs
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(.f64 -1 (.f64 y (*.f64 t z)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(+.f64 (.f64 (neg.f64 y) (.f64 z t)) 0)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(+.f64 0 (.f64 (neg.f64 y) (.f64 z t)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(+.f64 (.f64 (.f64 y t) (.f64 z -1/2)) (.f64 (.f64 y t) (.f64 z -1/2)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(-.f64 (.f64 (neg.f64 y) (.f64 z t)) 0)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (.f64 (neg.f64 y) (.f64 z t)) 1)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (.f64 -2 (.f64 y (*.f64 z t))) 2)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (.f64 (.f64 y t) (*.f64 z -4)) 4)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (.f64 (.f64 (neg.f64 y) (*.f64 z t)) 8) 8)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8)) 16)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8)) (.f64 2 (.f64 (.f64 (neg.f64 y) (.f64 z t)) 8))) 32)
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))
(neg.f64 (.f64 y (.f64 z t)))
(neg.f64 (.f64 y (.f64 t z)))
(.f64 t (.f64 (neg.f64 y) z))
(.f64 y (.f64 t (neg.f64 z)))
(.f64 t (.f64 z (neg.f64 y)))

eval5.0ms (0%)

Compiler: Compiled 327 to 133 computations (59.3% saved)

prune8.0ms (0.1%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	36	8	44

Error

0.0b

Counts

44 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	6.3b	(.f64 (-.f64 x z) (.f64 y t))
✓	5.7b	(.f64 (.f64 y (-.f64 x z)) t)
✓	31.9b	(.f64 (.f64 y (neg.f64 z)) t)
✓	30.3b	(.f64 (.f64 y x) t)
✓	32.4b	(.f64 (.f64 t z) (neg.f64 y))
✓	31.1b	(.f64 y (.f64 t x))
✓	30.7b	(.f64 x (.f64 y t))
✓	32.3b	(neg.f64 (.f64 z (.f64 y t)))

Compiler

Compiled 79 to 53 computations (32.9% saved)

regimes110.0ms (1%)

Counts

11 → 3

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 (.f64 y (neg.f64 z)) t)
(.f64 y (.f64 (-.f64 x z) t))
(.f64 (.f64 y (-.f64 x z)) t)
(.f64 (-.f64 x z) (.f64 y t))
(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

Outputs
(.f64 y (.f64 (-.f64 x z) t))
(.f64 (.f64 y (-.f64 x z)) t)
(.f64 y (.f64 (-.f64 x z) t))

Calls

6 calls:

21.0ms	z
21.0ms	x
18.0ms	(-.f64 (.f64 x y) (.f64 z y))
17.0ms	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
14.0ms	t

Results

Error	Segments	Branch
4.2b	3	`x`
1.2b	2	`y`
4.0b	2	`z`
1.2b	2	`t`
0.7b	3	`(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)`
0.7b	3	`(-.f64 (.f64 x y) (.f64 z y))`

Compiler

Compiled 117 to 61 computations (47.9% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.7696049558022926e+256	7.735141689828909e+263
0.0ms	-6.647662700312722e+181	-1.6594147484909635e+177

Compiler

Compiled 20 to 14 computations (30% saved)

regimes34.0ms (0.3%)

Counts

8 → 3

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 (.f64 y (neg.f64 z)) t)
(.f64 y (.f64 (-.f64 x z) t))

Outputs
(.f64 y (.f64 (-.f64 x z) t))
(.f64 (.f64 y x) t)
(.f64 y (.f64 (-.f64 x z) t))

Calls

4 calls:

15.0ms	z
6.0ms	y
5.0ms	t
5.0ms	x

Results

Error	Segments	Branch
7.0b	1	`x`
7.0b	1	`y`
5.7b	3	`z`
7.0b	1	`t`

Compiler

Compiled 70 to 39 computations (44.3% saved)

bsearch72.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	2.571882863793211e-109	1.4878610773742816e-104
58.0ms	-7.79891139631957e-261	-1.1699200776803344e-268

Results

70.0ms

176×

body

256

valid

Compiler

Compiled 262 to 179 computations (31.7% saved)

regimes366.0ms (3.5%)

Counts

7 → 5

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 (.f64 t z) (neg.f64 y))
(.f64 (.f64 y (neg.f64 z)) t)

Outputs
(.f64 (.f64 y (neg.f64 z)) t)
(.f64 x (.f64 y t))
(neg.f64 (.f64 z (.f64 y t)))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))

Calls

4 calls:

122.0ms	t
117.0ms	x
101.0ms	y
23.0ms	z

Results

Error	Segments	Branch
14.7b	5	`x`
20.5b	9	`y`
14.5b	5	`z`
17.8b	11	`t`

Compiler

Compiled 63 to 36 computations (42.9% saved)

bsearch104.0ms (1%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
12.0ms	1.1911034517195257e-17	1.1105484027070716e-15
70.0ms	-1.2706179807887082e-12	-8.552074480979171e-18
10.0ms	-3.411888649029021e+36	-2.3052878203812318e+35
12.0ms	-7.445743016466532e+91	-1.2094174072100365e+91

Results

56.0ms	26×	body	256	infinite
42.0ms	448×	body	256	valid

Compiler

Compiled 608 to 434 computations (28.6% saved)

regimes369.0ms (3.5%)

Counts

6 → 5

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 (.f64 t z) (neg.f64 y))

Outputs
(.f64 y (.f64 t x))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 y (.f64 t x))
(.f64 y (.f64 (neg.f64 z) t))
(.f64 x (.f64 y t))

Calls

4 calls:

126.0ms	y
110.0ms	t
74.0ms	x
58.0ms	z

Results

Error	Segments	Branch
14.7b	5	`x`
21.3b	9	`y`
15.4b	5	`z`
18.0b	11	`t`

Compiler

Compiled 57 to 34 computations (40.4% saved)

bsearch54.0ms (0.5%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
15.0ms	4.895181669321034e-58	1.6171274126908345e-51
13.0ms	3.5677623805727324e-144	4.6736093962095065e-141
11.0ms	9.308708607891111e-153	1.4019801544071375e-151
14.0ms	-3.7550194171091813e-13	-8.241679577965589e-17

Results

48.0ms	496×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 671 to 479 computations (28.6% saved)

regimes148.0ms (1.4%)

Counts

4 → 5

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))

Outputs
(neg.f64 (.f64 z (.f64 y t)))
(.f64 x (.f64 y t))
(neg.f64 (.f64 z (.f64 y t)))
(.f64 (.f64 y x) t)
(neg.f64 (.f64 z (.f64 y t)))

Calls

4 calls:

85.0ms	t
23.0ms	x
20.0ms	z
18.0ms	y

Results

Error	Segments	Branch
15.6b	5	`x`
24.2b	5	`y`
15.4b	5	`z`
19.0b	11	`t`

Compiler

Compiled 45 to 28 computations (37.8% saved)

bsearch56.0ms (0.5%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
14.0ms	1.1911034517195257e-17	1.1105484027070716e-15
18.0ms	-1.2706179807887082e-12	-8.552074480979171e-18
10.0ms	-3.411888649029021e+36	-2.3052878203812318e+35
14.0ms	-7.445743016466532e+91	-1.2094174072100365e+91

Results

50.0ms	448×	body	256	valid
1.0ms	11×	body	256	infinite

Compiler

Compiled 608 to 434 computations (28.6% saved)

regimes39.0ms (0.4%)

Counts

3 → 2

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)

Outputs
(.f64 y (.f64 t x))
(.f64 (.f64 y x) t)

Calls

4 calls:

14.0ms	y
11.0ms	x
7.0ms	z
6.0ms	t

Results

Error	Segments	Branch
29.3b	2	`x`
28.1b	2	`y`
29.2b	2	`z`
28.2b	2	`t`

Compiler

Compiled 39 to 26 computations (33.3% saved)

bsearch14.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
14.0ms	-4.506872548252432e+36	-8.306597621206002e+31

Results

11.0ms	112×	body	256	valid
2.0ms	20×	body	256	infinite

Compiler

Compiled 160 to 112 computations (30% saved)

regimes260.0ms (2.5%)

Accuracy

Total -5.6b remaining (-19.5%)

Threshold costs -5.6b (-19.5%)

Counts

2 → 2

Calls

Call 1

Inputs
(.f64 x (.f64 y t))
(.f64 y (.f64 t x))

Outputs
(.f64 y (.f64 t x))
(.f64 x (.f64 y t))

Calls

4 calls:

131.0ms	t
122.0ms	x
3.0ms	z
3.0ms	y

Results

Error	Segments	Branch
29.3b	2	`x`
30.7b	1	`y`
30.7b	1	`z`
28.7b	2	`t`

Compiler

Compiled 34 to 24 computations (29.4% saved)

bsearch13.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
12.0ms	2.1529336979913593e+52	2.310937951048272e+53

Results

9.0ms	96×	body	256	valid
2.0ms	23×	body	256	infinite

Compiler

Compiled 140 to 98 computations (30% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	598

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (-.f64 (.f64 x y) (.f64 z y)) -50000000000000003226559936361919779827105376205144584884917978916367904662510143278135754996687257850822691394447592090096097397546144525317852447661395664561828975608881910401466368) (.f64 y (.f64 (-.f64 x z) t)) (if (<=.f64 (-.f64 (.f64 x y) (.f64 z y)) 50000000000000001506382995007027125144524326988734756441605398995163706668882311641055617813457288178412192150858639140898346706834318867234424975099778599931393322808721069001301985282811477801121079651347551891440706762014265599582147062320881986730721280) (.f64 (.f64 y (-.f64 x z)) t) (.f64 y (.f64 (-.f64 x z) t))))
(if (<=.f64 z -283625966735417/567251933470833993071770667324028228809837418235547813055332893110634100784456014078204465673887768016738404766156377048665842149942362101665813667717893457711399398974403333260607303556174368618102720559063506014277553065062667880308951927318061097340410272771508755807405604864) (.f64 y (.f64 (-.f64 x z) t)) (if (<=.f64 z 1454323131338547/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512) (.f64 (.f64 y x) t) (.f64 y (.f64 (-.f64 x z) t))))
(if (<=.f64 z -13000000000000000129684526030113686114382619441795556603530616765217403419599914412562972672) (.f64 (.f64 y (neg.f64 z)) t) (if (<=.f64 z -1450000000000000009859040785939300352) (.f64 x (.f64 y t)) (if (<=.f64 z -5577662641004209/5070602400912917605986812821504) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z 2281771080410813/5070602400912917605986812821504) (.f64 (.f64 y x) t) (neg.f64 (.f64 z (.f64 y t)))))))
(if (<=.f64 x -2535301200456459/2535301200456458802993406410752) (.f64 y (.f64 t x)) (if (<=.f64 x 4127771402148561/29484081443918291814387145163970850710288447034503440846689111720668938768688662906922865040450459121417721679927842538279457692421287442441886205089317937841010900992) (.f64 y (.f64 (neg.f64 z) t)) (if (<=.f64 x 4832817552731949/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456) (.f64 y (.f64 t x)) (if (<=.f64 x 1684996666696915/6739986666787659948666753771754907668409286105635143120275902562304) (.f64 y (.f64 (neg.f64 z) t)) (.f64 x (.f64 y t))))))
(if (<=.f64 z -12199999999999999342334108407863067002538982225362604107842297407084843712813873472374571008) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z -500000000000000021210318687008980992) (.f64 x (.f64 y t)) (if (<=.f64 z -7764359926397905/79228162514264337593543950336) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z 1077503010193995/1267650600228229401496703205376) (.f64 (.f64 y x) t) (neg.f64 (.f64 z (.f64 y t)))))))
(if (<=.f64 y -24999999999999999215841526979493888) (.f64 y (.f64 t x)) (.f64 (.f64 y x) t))
(if (<=.f64 t 21999999999999999850860870835955815482157585722769408) (.f64 y (.f64 t x)) (.f64 x (.f64 y t)))
(.f64 x (.f64 y t))

Outputs
(if (<=.f64 (-.f64 (.f64 x y) (.f64 z y)) -50000000000000003226559936361919779827105376205144584884917978916367904662510143278135754996687257850822691394447592090096097397546144525317852447661395664561828975608881910401466368) (.f64 y (.f64 (-.f64 x z) t)) (if (<=.f64 (-.f64 (.f64 x y) (.f64 z y)) 50000000000000001506382995007027125144524326988734756441605398995163706668882311641055617813457288178412192150858639140898346706834318867234424975099778599931393322808721069001301985282811477801121079651347551891440706762014265599582147062320881986730721280) (.f64 (.f64 y (-.f64 x z)) t) (.f64 y (.f64 (-.f64 x z) t))))
(if (<=.f64 z -283625966735417/567251933470833993071770667324028228809837418235547813055332893110634100784456014078204465673887768016738404766156377048665842149942362101665813667717893457711399398974403333260607303556174368618102720559063506014277553065062667880308951927318061097340410272771508755807405604864) (.f64 y (.f64 (-.f64 x z) t)) (if (<=.f64 z 1454323131338547/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512) (.f64 (.f64 y x) t) (.f64 y (.f64 (-.f64 x z) t))))
(if (<=.f64 z -13000000000000000129684526030113686114382619441795556603530616765217403419599914412562972672) (.f64 (.f64 y (neg.f64 z)) t) (if (<=.f64 z -1450000000000000009859040785939300352) (.f64 x (.f64 y t)) (if (<=.f64 z -5577662641004209/5070602400912917605986812821504) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z 2281771080410813/5070602400912917605986812821504) (.f64 (.f64 y x) t) (neg.f64 (.f64 z (.f64 y t)))))))
(if (<=.f64 x -2535301200456459/2535301200456458802993406410752) (.f64 y (.f64 t x)) (if (<=.f64 x 4127771402148561/29484081443918291814387145163970850710288447034503440846689111720668938768688662906922865040450459121417721679927842538279457692421287442441886205089317937841010900992) (.f64 y (.f64 (neg.f64 z) t)) (if (<=.f64 x 4832817552731949/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456) (.f64 y (.f64 t x)) (if (<=.f64 x 1684996666696915/6739986666787659948666753771754907668409286105635143120275902562304) (.f64 y (.f64 (neg.f64 z) t)) (.f64 x (.f64 y t))))))
(if (<=.f64 z -12199999999999999342334108407863067002538982225362604107842297407084843712813873472374571008) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z -500000000000000021210318687008980992) (.f64 x (.f64 y t)) (if (<=.f64 z -7764359926397905/79228162514264337593543950336) (neg.f64 (.f64 z (.f64 y t))) (if (<=.f64 z 1077503010193995/1267650600228229401496703205376) (.f64 (.f64 y x) t) (neg.f64 (.f64 z (.f64 y t)))))))
(if (<=.f64 y -24999999999999999215841526979493888) (.f64 y (.f64 t x)) (.f64 (.f64 y x) t))
(if (<=.f64 t 21999999999999999850860870835955815482157585722769408) (.f64 y (.f64 t x)) (.f64 x (.f64 y t)))
(.f64 x (.f64 y t))

Compiler

Compiled 264 to 131 computations (50.4% saved)

soundness12.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

16×	`rational.json-simplify-2`
16×	`rational.json-simplify-2`
6×	`rational.json-simplify-43`
6×	`rational.json-simplify-43`
2×	`rational.json-simplify-52`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 74 to 31 computations (58.1% saved)

end274.0ms (2.6%)

Compiler: Compiled 326 to 115 computations (64.7% saved)

Iter	Nodes	Cost
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19

Iter	Nodes	Cost
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19

Details

analyze463.0ms (4.4%)

sample2.1s (20%)

preprocess6.0ms (0.1%)

simplify33.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series7.0ms (0.1%)

rewrite86.0ms (0.8%)

simplify653.0ms (6.2%)

localize8.0ms (0.1%)

series4.0ms (0%)

rewrite90.0ms (0.9%)

simplify697.0ms (6.6%)

eval12.0ms (0.1%)

prune17.0ms (0.2%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite84.0ms (0.8%)

simplify587.0ms (5.6%)

localize51.0ms (0.5%)

series3.0ms (0%)

rewrite104.0ms (1%)

simplify497.0ms (4.7%)

localize5.0ms (0.1%)

series43.0ms (0.4%)

rewrite101.0ms (1%)

simplify468.0ms (4.4%)

localize5.0ms (0.1%)

series71.0ms (0.7%)

rewrite107.0ms (1%)

simplify561.0ms (5.3%)

localize7.0ms (0.1%)

series4.0ms (0%)

rewrite101.0ms (1%)

simplify495.0ms (4.7%)

eval59.0ms (0.6%)

prune14.0ms (0.1%)

localize7.0ms (0.1%)

series4.0ms (0%)

rewrite104.0ms (1%)

simplify418.0ms (4%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite89.0ms (0.8%)

simplify397.0ms (3.8%)

eval5.0ms (0%)

prune8.0ms (0.1%)

regimes110.0ms (1%)

bsearch1.0ms (0%)

regimes34.0ms (0.3%)

bsearch72.0ms (0.7%)

regimes366.0ms (3.5%)

bsearch104.0ms (1%)

regimes369.0ms (3.5%)

bsearch54.0ms (0.5%)

regimes148.0ms (1.4%)

bsearch56.0ms (0.5%)

regimes39.0ms (0.4%)

bsearch14.0ms (0.1%)

regimes260.0ms (2.5%)

bsearch13.0ms (0.1%)

simplify9.0ms (0.1%)

soundness12.0ms (0.1%)

end274.0ms (2.6%)

Profiling

Iter	Nodes	Cost
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19
0	10	25
1	13	19
2	15	19
3	18	19
4	24	19
5	25	19