Details

analyze551.0ms (6.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52.6%	48%	43.2%	0.1%	8.7%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.4s (27.8%)

Results

1.9s	8256×	body	256	valid
498.0ms	1230×	body	256	infinite

Bogosity

preprocess12.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

46×	`rational.json-simplify-2`
16×	`rational.json-simplify-43`
8×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	100
1	34	100
2	49	100
3	64	100
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(+.f64 y (.f64 (.f64 (-.f64 x y) 6) z))
(+.f64 z (.f64 (.f64 (-.f64 y z) 6) x))
(+.f64 x (.f64 (.f64 (-.f64 z x) 6) y))

Outputs
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
(+.f64 y (.f64 (.f64 (-.f64 x y) 6) z))
(+.f64 y (.f64 z (.f64 6 (-.f64 x y))))
(+.f64 y (.f64 6 (.f64 (-.f64 x y) z)))
(+.f64 y (.f64 6 (.f64 z (-.f64 x y))))
(+.f64 z (.f64 (.f64 (-.f64 y z) 6) x))
(+.f64 z (.f64 x (.f64 6 (-.f64 y z))))
(+.f64 x (.f64 (.f64 (-.f64 z x) 6) y))
(+.f64 x (.f64 y (.f64 6 (-.f64 z x))))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify28.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-2`
4×	`rational.json-simplify-43`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	25
2	17	25
3	21	25

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Outputs
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))

eval3.0ms (0%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
▶	0.4b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize17.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 y x) 6)
✓	0.5b	(.f64 (.f64 (-.f64 y x) 6) z)

Compiler

Compiled 31 to 14 computations (54.8% saved)

series166.0ms (1.9%)

Counts

2 → 60

Calls

15 calls:

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

rewrite148.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2016×	`rational.json-5`
2014×	`rational.json-1`
2014×	`rational.json-2`
2014×	`rational.json-4`
2014×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	75	32
2	249	32
3	943	32
4	3842	32

Stop Event

1×	node limit

Counts

2 → 12

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) 6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 y x) 6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 y x) 6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) 6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) 6) (/.f64 (.f64 (-.f64 y x) 6) (.f64 (-.f64 y x) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 y x) 6) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 y x) (*.f64 6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) (/.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) (*.f64 (-.f64 y x) (*.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) 6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 y x) 6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 y x) 6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) 6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) 6) (/.f64 (*.f64 (-.f64 y x) 6) (*.f64 (-.f64 y x) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y x) 6) 1)))))

simplify384.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1608×	`rational.json-simplify-47`
1278×	`rational.json-simplify-49`
1096×	`rational.json-simplify-43`
858×	`rational.json-simplify-111`
848×	`rational.json-simplify-76`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	1440
1	71	1440
2	191	1332
3	624	1332
4	2970	1332
5	6294	1332

Stop Event

1×	node limit

Counts

72 → 28

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(+.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))
(-.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))
(pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(+.f64 (*.f64 (-.f64 y x) 6) 0)
(+.f64 0 (*.f64 (-.f64 y x) 6))
(-.f64 (*.f64 (-.f64 y x) 6) 0)
(/.f64 (*.f64 (-.f64 y x) 6) 1)
(/.f64 (.f64 (-.f64 y x) 6) (/.f64 (.f64 (-.f64 y x) 6) (*.f64 (-.f64 y x) 6)))
(pow.f64 (*.f64 (-.f64 y x) 6) 1)

Outputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 6 y)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(*.f64 6 y)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(*.f64 -6 x)
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 6 y) (.f64 -6 x))
(+.f64 (.f64 -6 x) (.f64 6 y))
(+.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(+.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(-.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 (-.f64 y x) (.f64 z 6))
(+.f64 (*.f64 (-.f64 y x) 6) 0)
(*.f64 6 (-.f64 y x))
(+.f64 0 (*.f64 (-.f64 y x) 6))
(*.f64 6 (-.f64 y x))
(-.f64 (*.f64 (-.f64 y x) 6) 0)
(*.f64 6 (-.f64 y x))
(/.f64 (*.f64 (-.f64 y x) 6) 1)
(*.f64 6 (-.f64 y x))
(/.f64 (.f64 (-.f64 y x) 6) (/.f64 (.f64 (-.f64 y x) 6) (*.f64 (-.f64 y x) 6)))
(*.f64 6 (-.f64 y x))
(pow.f64 (*.f64 (-.f64 y x) 6) 1)
(*.f64 6 (-.f64 y x))

localize18.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (-.f64 y x) (.f64 6 z))

Compiler

Compiled 29 to 14 computations (51.7% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite161.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

928×	`rational.json-simplify-54`
882×	`rational.json-simplify-79`
700×	`rational.json-simplify-47`
680×	`rational.json-simplify-49`
574×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	77	19
2	264	19
3	995	19
4	4049	19

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 y x) (.f64 6 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 y x) (*.f64 6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (-.f64 y x) (*.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (-.f64 y x) (*.f64 6 z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) (/.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) (*.f64 (-.f64 y x) (*.f64 6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y x) (*.f64 6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (-.f64 y x) (*.f64 6 z))))))))

simplify336.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1784×	`rational.json-simplify-47`
1314×	`rational.json-simplify-111`
1288×	`rational.json-simplify-43`
648×	`rational.json-simplify-1`
576×	`exponential.json-simplify-26`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	1035
1	70	1035
2	177	927
3	611	927
4	2728	927
5	5184	927

Stop Event

1×	node limit

Counts

45 → 21

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(+.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(+.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))
(-.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(-.f64 0 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 y x) (.f64 6 z)))) 1)
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))
(pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(neg.f64 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))

Outputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 z (.f64 6 (-.f64 y x)))
(+.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(+.f64 0 (.f64 (-.f64 y x) (.f64 6 z)))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 (.f64 (-.f64 y x) (.f64 6 z)) 0)
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 0 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 y x) (.f64 6 z)))) 1)
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (/.f64 (.f64 (-.f64 y x) (.f64 6 z)) (.f64 (-.f64 y x) (.f64 6 z))))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(pow.f64 (.f64 (-.f64 y x) (.f64 6 z)) 1)
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))
(neg.f64 (neg.f64 (.f64 (-.f64 y x) (.f64 6 z))))
(.f64 z (.f64 (-.f64 y x) 6))
(.f64 6 (.f64 z (-.f64 y x)))
(.f64 z (.f64 6 (-.f64 y x)))

eval13.0ms (0.2%)

Compiler: Compiled 539 to 285 computations (47.1% saved)

prune16.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	44	5	49
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	45	6	51

Error

Counts

51 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
▶	11.0b	(+.f64 x (.f64 (.f64 6 y) z))
▶	23.4b	(+.f64 x (.f64 (.f64 -6 x) z))
▶	0.1b	(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
▶	10.8b	(+.f64 x (.f64 6 (.f64 z y)))
▶	23.4b	(+.f64 x (.f64 -6 (.f64 z x)))

Compiler

Compiled 116 to 80 computations (31% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 z (-.f64 y x))
✓	0.2b	(.f64 6 (.f64 z (-.f64 y x)))

Compiler

Compiled 31 to 11 computations (64.5% saved)

series3.0ms (0%)

Counts

2 → 60

Calls

18 calls:

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

rewrite329.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

868×	`rational.json-simplify-80`
868×	`rational.json-simplify-79`
848×	`rational.json-simplify-54`
666×	`rational.json-simplify-49`
662×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	77	32
2	262	32
3	978	32
4	3935	32

Stop Event

1×	node limit

Counts

2 → 18

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (*.f64 6 (-.f64 y x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (*.f64 6 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (*.f64 6 (-.f64 y x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 z (*.f64 6 (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 z (*.f64 6 (-.f64 y x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 6 (-.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 6 (-.f64 y x))) (/.f64 (*.f64 z (*.f64 6 (-.f64 y x))) (*.f64 z (*.f64 6 (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (*.f64 6 (-.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 z (*.f64 6 (-.f64 y x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (-.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (-.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 z (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 z (-.f64 y x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 y x)) (/.f64 (*.f64 z (-.f64 y x)) (*.f64 z (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (-.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 z (-.f64 y x))))))))

simplify228.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1934×	`rational.json-simplify-47`
1242×	`rational.json-simplify-43`
698×	`rational.json-simplify-111`
600×	`rational.json-simplify-42`
576×	`rational.json-simplify-55`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	1590
1	106	1440
2	259	1332
3	774	1332
4	3331	1332
5	6942	1332

Stop Event

1×	node limit

Counts

78 → 38

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(*.f64 (-.f64 y x) z)
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z (.f64 6 (-.f64 y x))) 0)
(+.f64 0 (.f64 z (.f64 6 (-.f64 y x))))
(-.f64 (.f64 z (.f64 6 (-.f64 y x))) 0)
(-.f64 0 (neg.f64 (.f64 z (.f64 6 (-.f64 y x)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 z (.f64 6 (-.f64 y x))))) 1)
(/.f64 (.f64 z (.f64 6 (-.f64 y x))) 1)
(/.f64 (.f64 z (.f64 6 (-.f64 y x))) (/.f64 (.f64 z (.f64 6 (-.f64 y x))) (.f64 z (.f64 6 (-.f64 y x)))))
(pow.f64 (.f64 z (.f64 6 (-.f64 y x))) 1)
(neg.f64 (neg.f64 (.f64 z (.f64 6 (-.f64 y x)))))
(+.f64 (*.f64 z (-.f64 y x)) 0)
(+.f64 0 (*.f64 z (-.f64 y x)))
(-.f64 (*.f64 z (-.f64 y x)) 0)
(-.f64 0 (neg.f64 (*.f64 z (-.f64 y x))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 z (-.f64 y x)))) 1)
(/.f64 (*.f64 z (-.f64 y x)) 1)
(/.f64 (.f64 z (-.f64 y x)) (/.f64 (.f64 z (-.f64 y x)) (*.f64 z (-.f64 y x))))
(pow.f64 (*.f64 z (-.f64 y x)) 1)
(neg.f64 (neg.f64 (*.f64 z (-.f64 y x))))

Outputs
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 z y))
(.f64 z (.f64 y 6))
(.f64 z (.f64 6 y))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 y z)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 6 (.f64 z y)))
(+.f64 (.f64 -6 (.f64 z x)) (.f64 z (.f64 y 6)))
(.f64 z (+.f64 (.f64 -6 x) (*.f64 6 y)))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 z x))
(.f64 z (.f64 x -1))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(.f64 -1 (.f64 z x))
(.f64 z (.f64 x -1))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(.f64 -1 (.f64 z x))
(.f64 z (.f64 x -1))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 z y) (.f64 z (*.f64 x -1)))
(*.f64 z (+.f64 y (neg.f64 x)))
(+.f64 (.f64 z (.f64 6 (-.f64 y x))) 0)
(.f64 z (.f64 6 (-.f64 y x)))
(+.f64 0 (.f64 z (.f64 6 (-.f64 y x))))
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 (.f64 z (.f64 6 (-.f64 y x))) 0)
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 0 (neg.f64 (.f64 z (.f64 6 (-.f64 y x)))))
(.f64 z (.f64 6 (-.f64 y x)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 z (.f64 6 (-.f64 y x))))) 1)
(.f64 z (.f64 6 (-.f64 y x)))
(/.f64 (.f64 z (.f64 6 (-.f64 y x))) 1)
(.f64 z (.f64 6 (-.f64 y x)))
(/.f64 (.f64 z (.f64 6 (-.f64 y x))) (/.f64 (.f64 z (.f64 6 (-.f64 y x))) (.f64 z (.f64 6 (-.f64 y x)))))
(.f64 z (.f64 6 (-.f64 y x)))
(pow.f64 (.f64 z (.f64 6 (-.f64 y x))) 1)
(.f64 z (.f64 6 (-.f64 y x)))
(neg.f64 (neg.f64 (.f64 z (.f64 6 (-.f64 y x)))))
(.f64 z (.f64 6 (-.f64 y x)))
(+.f64 (*.f64 z (-.f64 y x)) 0)
(*.f64 z (-.f64 y x))
(+.f64 0 (*.f64 z (-.f64 y x)))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z (-.f64 y x)) 0)
(*.f64 z (-.f64 y x))
(-.f64 0 (neg.f64 (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 z (-.f64 y x)))) 1)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 z (-.f64 y x)) 1)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 z (-.f64 y x)) (/.f64 (.f64 z (-.f64 y x)) (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))
(pow.f64 (*.f64 z (-.f64 y x)) 1)
(*.f64 z (-.f64 y x))
(neg.f64 (neg.f64 (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (.f64 -6 (.f64 z x)))
✓	0.2b	(.f64 -6 (.f64 z x))

Compiler

Compiled 21 to 10 computations (52.4% saved)

series9.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	z	@	inf	(.f64 -6 (.f64 z x))
2.0ms	x	@	inf	(+.f64 x (.f64 -6 (.f64 z x)))
1.0ms	z	@	0	(.f64 -6 (.f64 z x))
1.0ms	x	@	inf	(.f64 -6 (.f64 z x))
1.0ms	x	@	0	(.f64 -6 (.f64 z x))

rewrite112.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1886×	`rational.json-5`
1884×	`exponential.json-3`
1884×	`rational.json-1`
1884×	`rational.json-2`
1884×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	70	32
2	235	32
3	883	32
4	3622	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(+.f64 x (.f64 -6 (.f64 z x)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -6 (*.f64 z x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -6 (*.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -6 (*.f64 z x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 z x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 z x)) (/.f64 (*.f64 -6 (*.f64 z x)) (*.f64 -6 (*.f64 z x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -6 (*.f64 z x)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 1 (*.f64 -6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (/.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))) (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 -6 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z))))) (/.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (/.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))))

simplify207.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1906×	`rational.json-simplify-47`
1354×	`rational.json-simplify-54`
1174×	`rational.json-simplify-1`
1166×	`rational.json-simplify-43`
1076×	`rational.json-simplify-50`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	794
1	98	786
2	355	786
3	2064	786
4	6601	770

Stop Event

1×	node limit

Counts

44 → 28

Calls

Call 1

Inputs
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) 0)
(+.f64 0 (.f64 -6 (.f64 z x)))
(-.f64 (.f64 -6 (.f64 z x)) 0)
(/.f64 (.f64 -6 (.f64 z x)) 1)
(/.f64 (.f64 -6 (.f64 z x)) (/.f64 (.f64 -6 (.f64 z x)) (.f64 -6 (.f64 z x))))
(pow.f64 (.f64 -6 (.f64 z x)) 1)
(-.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 0)
(.f64 x (+.f64 1 (.f64 -6 z)))
(.f64 x (.f64 (+.f64 1 (*.f64 -6 z)) 1))
(.f64 (.f64 x (+.f64 1 (*.f64 -6 z))) 1)
(.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z)))))
(.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z))))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (/.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z)))) 1))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z))))) (/.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z))))))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(pow.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)

Outputs
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (-.f64 1 (.f64 z 6)))
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) 0)
(.f64 -6 (.f64 z x))
(+.f64 0 (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(-.f64 (.f64 -6 (.f64 z x)) 0)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 z x)) 1)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 z x)) (/.f64 (.f64 -6 (.f64 z x)) (.f64 -6 (.f64 z x))))
(.f64 -6 (.f64 z x))
(pow.f64 (.f64 -6 (.f64 z x)) 1)
(.f64 -6 (.f64 z x))
(-.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 0)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 x (+.f64 1 (.f64 -6 z)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 x (.f64 (+.f64 1 (*.f64 -6 z)) 1))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (+.f64 1 (*.f64 -6 z))) 1)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z)))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (/.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z)))) 1))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z))))) (/.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z))))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(pow.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 6 (.f64 z y))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite90.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1660×	`rational.json-5`
1658×	`exponential.json-3`
1658×	`rational.json-1`
1658×	`rational.json-2`
1658×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	61	13
2	209	13
3	778	13
4	3167	13

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 6 (.f64 z y))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 6 (*.f64 z y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 6 (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 6 (*.f64 z y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 6 (*.f64 z y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 6 (*.f64 z y)) (/.f64 (*.f64 6 (*.f64 z y)) (*.f64 6 (*.f64 z y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 6 (*.f64 z y)) 1)))))

simplify235.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1448×	`rational.json-simplify-79`
1138×	`rational.json-simplify-2`
816×	`rational.json-simplify-76`
790×	`rational.json-simplify-111`
752×	`rational.json-simplify-104`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	390
1	33	390
2	104	390
3	377	390
4	1633	390
5	3890	390
6	5547	390
7	7054	390

Stop Event

1×	node limit

Counts

30 → 9

Calls

Call 1

Inputs
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(+.f64 (.f64 6 (.f64 z y)) 0)
(+.f64 0 (.f64 6 (.f64 z y)))
(-.f64 (.f64 6 (.f64 z y)) 0)
(/.f64 (.f64 6 (.f64 z y)) 1)
(/.f64 (.f64 6 (.f64 z y)) (/.f64 (.f64 6 (.f64 z y)) (.f64 6 (.f64 z y))))
(pow.f64 (.f64 6 (.f64 z y)) 1)

Outputs
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 z 6))
(.f64 y (.f64 6 z))
(+.f64 (.f64 6 (.f64 z y)) 0)
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(+.f64 0 (.f64 6 (.f64 z y)))
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(-.f64 (.f64 6 (.f64 z y)) 0)
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(/.f64 (.f64 6 (.f64 z y)) 1)
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(/.f64 (.f64 6 (.f64 z y)) (/.f64 (.f64 6 (.f64 z y)) (.f64 6 (.f64 z y))))
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(pow.f64 (.f64 6 (.f64 z y)) 1)
(.f64 y (.f64 z 6))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))

localize17.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (.f64 (.f64 -6 x) z))
✓	0.2b	(.f64 (.f64 -6 x) z)

Compiler

Compiled 21 to 13 computations (38.1% saved)

series129.0ms (1.5%)

Counts

2 → 48

Calls

12 calls:

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

rewrite122.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1846×	`rational.json-5`
1844×	`exponential.json-3`
1844×	`rational.json-1`
1844×	`rational.json-2`
1844×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	68	32
2	222	32
3	848	32
4	3522	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

Inputs
(.f64 (.f64 -6 x) z)
(+.f64 x (.f64 (.f64 -6 x) z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -6 (*.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -6 (*.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -6 (*.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 x z)) (/.f64 (*.f64 -6 (*.f64 x z)) (*.f64 -6 (*.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -6 (*.f64 x z)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 1 (*.f64 -6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (/.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 x (+.f64 1 (*.f64 -6 z))))) (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 x (+.f64 1 (*.f64 -6 z))))) (*.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 -6 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 x (+.f64 1 (*.f64 -6 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 x (+.f64 1 (*.f64 -6 z))))))) (/.f64 (/.f64 1 (*.f64 x (+.f64 1 (*.f64 -6 z)))) (*.f64 x (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (/.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) (*.f64 x (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (+.f64 1 (*.f64 -6 z))) 1)))))

simplify320.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1422×	`rational.json-simplify-111`
832×	`rational.json-simplify-55`
828×	`rational.json-simplify-2`
678×	`rational.json-simplify-50`
672×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	1106
1	108	1098
2	312	1098
3	1130	1098
4	3830	1082
5	7323	1082

Stop Event

1×	node limit

Counts

68 → 29

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 x z)) 0)
(+.f64 0 (.f64 -6 (.f64 x z)))
(-.f64 (.f64 -6 (.f64 x z)) 0)
(/.f64 (.f64 -6 (.f64 x z)) 1)
(/.f64 (.f64 -6 (.f64 x z)) (/.f64 (.f64 -6 (.f64 x z)) (.f64 -6 (.f64 x z))))
(pow.f64 (.f64 -6 (.f64 x z)) 1)
(-.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 0)
(.f64 x (+.f64 1 (.f64 -6 z)))
(.f64 x (.f64 (+.f64 1 (*.f64 -6 z)) 1))
(.f64 (.f64 x (+.f64 1 (*.f64 -6 z))) 1)
(.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z)))))
(.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z))))
(.f64 (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))) (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))) (.f64 (/.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z)))) 1))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))))) (/.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (*.f64 -6 z)))))))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(pow.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)

Outputs
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (neg.f64 (+.f64 -1 (.f64 z 6))))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (neg.f64 (+.f64 -1 (.f64 z 6))))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (neg.f64 (+.f64 -1 (.f64 z 6))))
(.f64 x (-.f64 1 (.f64 z 6)))
(.f64 -1 (.f64 (-.f64 (*.f64 6 z) 1) x))
(.f64 -1 (.f64 x (+.f64 (*.f64 z 6) -1)))
(.f64 (+.f64 -1 (.f64 z 6)) (neg.f64 x))
(.f64 x (neg.f64 (+.f64 -1 (.f64 z 6))))
(.f64 x (-.f64 1 (.f64 z 6)))
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 (.f64 -6 (.f64 x z)) 0)
(.f64 -6 (.f64 z x))
(+.f64 0 (.f64 -6 (.f64 x z)))
(.f64 -6 (.f64 z x))
(-.f64 (.f64 -6 (.f64 x z)) 0)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 x z)) 1)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 x z)) (/.f64 (.f64 -6 (.f64 x z)) (.f64 -6 (.f64 x z))))
(.f64 -6 (.f64 z x))
(pow.f64 (.f64 -6 (.f64 x z)) 1)
(.f64 -6 (.f64 z x))
(-.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 0)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 x (.f64 (+.f64 1 (*.f64 -6 z)) 1))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (+.f64 1 (*.f64 -6 z))) 1)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (*.f64 -6 z)))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))) (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))) (.f64 (/.f64 1 (.f64 x (+.f64 1 (*.f64 -6 z)))) 1))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (.f64 -6 z))))))) (/.f64 (/.f64 1 (.f64 x (+.f64 1 (.f64 -6 z)))) (.f64 x (.f64 (+.f64 1 (.f64 -6 z)) (.f64 x (+.f64 1 (*.f64 -6 z)))))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (/.f64 (.f64 x (+.f64 1 (.f64 -6 z))) (.f64 x (+.f64 1 (.f64 -6 z)))))
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))
(pow.f64 (.f64 x (+.f64 1 (.f64 -6 z))) 1)
(.f64 x (+.f64 1 (.f64 -6 z)))
(+.f64 x (.f64 -6 (.f64 z x)))

localize16.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (.f64 6 y) z)

Compiler

Compiled 22 to 13 computations (40.9% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite113.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-5`
1620×	`exponential.json-3`
1620×	`rational.json-1`
1620×	`rational.json-2`
1620×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	59	13
2	196	13
3	743	13
4	3072	13

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 (.f64 6 y) z)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 6 (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 6 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 6 (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 6 (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 6 (*.f64 y z)) (/.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 6 (*.f64 y z)) 1)))))

simplify237.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1386×	`rational.json-simplify-79`
922×	`rational.json-simplify-80`
906×	`rational.json-simplify-2`
752×	`rational.json-simplify-76`
720×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	390
1	30	390
2	96	390
3	325	390
4	1402	390
5	3235	390
6	4746	390
7	6177	390

Stop Event

1×	node limit

Counts

30 → 7

Calls

Call 1

Inputs
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(+.f64 (.f64 6 (.f64 y z)) 0)
(+.f64 0 (.f64 6 (.f64 y z)))
(-.f64 (.f64 6 (.f64 y z)) 0)
(/.f64 (.f64 6 (.f64 y z)) 1)
(/.f64 (.f64 6 (.f64 y z)) (/.f64 (.f64 6 (.f64 y z)) (.f64 6 (.f64 y z))))
(pow.f64 (.f64 6 (.f64 y z)) 1)

Outputs
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(+.f64 (.f64 6 (.f64 y z)) 0)
(.f64 6 (.f64 y z))
(+.f64 0 (.f64 6 (.f64 y z)))
(.f64 6 (.f64 y z))
(-.f64 (.f64 6 (.f64 y z)) 0)
(.f64 6 (.f64 y z))
(/.f64 (.f64 6 (.f64 y z)) 1)
(.f64 6 (.f64 y z))
(/.f64 (.f64 6 (.f64 y z)) (/.f64 (.f64 6 (.f64 y z)) (.f64 6 (.f64 y z))))
(.f64 6 (.f64 y z))
(pow.f64 (.f64 6 (.f64 y z)) 1)
(.f64 6 (.f64 y z))

eval55.0ms (0.6%)

Compiler: Compiled 1319 to 814 computations (38.3% saved)

prune38.0ms (0.4%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	107	4	111
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	108	9	117

Error

Counts

117 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.0b	(+.f64 x (.f64 (.f64 6 y) z))
✓	23.4b	(+.f64 x (.f64 (.f64 -6 x) z))
▶	10.8b	(+.f64 x (.f64 y (.f64 z 6)))
✓	0.1b	(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
✓	10.8b	(+.f64 x (.f64 6 (.f64 z y)))
✓	23.4b	(+.f64 x (.f64 -6 (.f64 z x)))
▶	23.4b	(.f64 (+.f64 1 (.f64 -6 z)) x)
▶	52.3b	(.f64 -6 (.f64 z x))
	33.9b	x

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize18.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.2b	(.f64 -6 (.f64 z x))

Compiler

Compiled 14 to 7 computations (50% saved)

localize17.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (*.f64 -6 z))
✓	0.1b	(.f64 (+.f64 1 (.f64 -6 z)) x)

Compiler

Compiled 22 to 16 computations (27.3% saved)

series4.0ms (0%)

Counts

2 → 15

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (+.f64 1 (.f64 -6 z)) x)
1.0ms	z	@	inf	(.f64 (+.f64 1 (.f64 -6 z)) x)
1.0ms	x	@	inf	(.f64 (+.f64 1 (.f64 -6 z)) x)
1.0ms	x	@	-inf	(.f64 (+.f64 1 (.f64 -6 z)) x)
1.0ms	z	@	0	(.f64 (+.f64 1 (.f64 -6 z)) x)

rewrite146.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1706×	`rational.json-5`
1704×	`exponential.json-3`
1704×	`rational.json-1`
1704×	`rational.json-2`
1704×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	78	32
2	238	32
3	848	32
4	3343	32

Stop Event

1×	node limit

Counts

2 → 19

Calls

Call 1

Inputs
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 1 (*.f64 -6 z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 1 (*.f64 -6 z)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) (/.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) (*.f64 (+.f64 1 (*.f64 -6 z)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) x) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -6 z) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -6 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 1 (*.f64 -6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 -6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (*.f64 -6 z)) (/.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))) (+.f64 1 (*.f64 -6 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))) (/.f64 1 (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 (*.f64 -6 z))) (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))) (/.f64 (/.f64 1 (+.f64 1 (*.f64 -6 z))) (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 1 (*.f64 -6 z))) (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z)))) (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 (+.f64 1 (*.f64 -6 z)) (*.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (*.f64 -6 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (*.f64 -6 z)) (/.f64 (+.f64 1 (*.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (*.f64 -6 z)) 1)))))

simplify286.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1192×	`rational.json-simplify-47`
972×	`rational.json-simplify-2`
948×	`rational.json-simplify-49`
688×	`rational.json-simplify-43`
676×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	496
1	69	496
2	255	496
3	1336	496
4	5021	496
5	7589	496

Stop Event

1×	node limit

Counts

34 → 29

Calls

Call 1

Inputs
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 (.f64 -6 (.f64 z x)) x)
1
(*.f64 -6 z)
(*.f64 -6 z)
(+.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 0)
(+.f64 0 (.f64 (+.f64 1 (.f64 -6 z)) x))
(-.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 0)
(/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 1)
(/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) (/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) (.f64 (+.f64 1 (.f64 -6 z)) x)))
(pow.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 1)
(-.f64 (*.f64 -6 z) -1)
(-.f64 (+.f64 1 (*.f64 -6 z)) 0)
(.f64 1 (+.f64 1 (.f64 -6 z)))
(.f64 (+.f64 1 (.f64 -6 z)) 1)
(.f64 (+.f64 1 (.f64 -6 z)) (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))
(.f64 (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))) (+.f64 1 (.f64 -6 z)))
(.f64 (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))) (/.f64 1 (+.f64 1 (*.f64 -6 z))))
(.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))
(.f64 (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))) (/.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z)))))
(.f64 (/.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z)))) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))))
(/.f64 (+.f64 1 (*.f64 -6 z)) 1)
(/.f64 (+.f64 1 (.f64 -6 z)) (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))
(pow.f64 (+.f64 1 (*.f64 -6 z)) 1)

Outputs
x
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 (.f64 -6 (.f64 z x)) x)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
1
(*.f64 -6 z)
(*.f64 -6 z)
(+.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 0)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(+.f64 0 (.f64 (+.f64 1 (.f64 -6 z)) x))
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(-.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 0)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 1)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) (/.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) (.f64 (+.f64 1 (.f64 -6 z)) x)))
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(pow.f64 (.f64 (+.f64 1 (.f64 -6 z)) x) 1)
(+.f64 x (.f64 -6 (.f64 x z)))
(+.f64 x (.f64 x (.f64 -6 z)))
(-.f64 (*.f64 -6 z) -1)
(+.f64 1 (*.f64 -6 z))
(-.f64 (+.f64 1 (*.f64 -6 z)) 0)
(+.f64 1 (*.f64 -6 z))
(.f64 1 (+.f64 1 (.f64 -6 z)))
(+.f64 1 (*.f64 -6 z))
(.f64 (+.f64 1 (.f64 -6 z)) 1)
(+.f64 1 (*.f64 -6 z))
(.f64 (+.f64 1 (.f64 -6 z)) (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))
(+.f64 1 (*.f64 -6 z))
(.f64 (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))) (+.f64 1 (.f64 -6 z)))
(+.f64 1 (*.f64 -6 z))
(.f64 (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))) (/.f64 1 (+.f64 1 (*.f64 -6 z))))
(+.f64 1 (*.f64 -6 z))
(.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))
(+.f64 1 (*.f64 -6 z))
(.f64 (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))) (/.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z)))))
(+.f64 1 (*.f64 -6 z))
(.f64 (/.f64 (/.f64 1 (+.f64 1 (.f64 -6 z))) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z)))) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (.f64 -6 z))))))
(+.f64 1 (*.f64 -6 z))
(/.f64 (+.f64 1 (*.f64 -6 z)) 1)
(+.f64 1 (*.f64 -6 z))
(/.f64 (+.f64 1 (.f64 -6 z)) (/.f64 (+.f64 1 (.f64 -6 z)) (+.f64 1 (*.f64 -6 z))))
(+.f64 1 (*.f64 -6 z))
(pow.f64 (+.f64 1 (*.f64 -6 z)) 1)
(+.f64 1 (*.f64 -6 z))

localize22.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 z 6))

Compiler

Compiled 22 to 13 computations (40.9% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite130.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1688×	`rational.json-5`
1686×	`exponential.json-3`
1686×	`rational.json-1`
1686×	`rational.json-2`
1686×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	61	13
2	209	13
3	783	13
4	3212	13

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 y (.f64 z 6))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 z 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 z 6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 z 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 z 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 z 6)) (/.f64 (*.f64 y (*.f64 z 6)) (*.f64 y (*.f64 z 6))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 z 6)) 1)))))

simplify237.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1732×	`rational.json-simplify-47`
1110×	`rational.json-simplify-111`
1090×	`rational.json-simplify-49`
1036×	`rational.json-simplify-54`
914×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	390
1	34	390
2	112	390
3	424	390
4	1977	390
5	4691	390
6	7820	390

Stop Event

1×	node limit

Counts

30 → 8

Calls

Call 1

Inputs
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(.f64 6 (.f64 y z))
(+.f64 (.f64 y (.f64 z 6)) 0)
(+.f64 0 (.f64 y (.f64 z 6)))
(-.f64 (.f64 y (.f64 z 6)) 0)
(/.f64 (.f64 y (.f64 z 6)) 1)
(/.f64 (.f64 y (.f64 z 6)) (/.f64 (.f64 y (.f64 z 6)) (.f64 y (.f64 z 6))))
(pow.f64 (.f64 y (.f64 z 6)) 1)

Outputs
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(+.f64 (.f64 y (.f64 z 6)) 0)
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(+.f64 0 (.f64 y (.f64 z 6)))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(-.f64 (.f64 y (.f64 z 6)) 0)
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(/.f64 (.f64 y (.f64 z 6)) 1)
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(/.f64 (.f64 y (.f64 z 6)) (/.f64 (.f64 y (.f64 z 6)) (.f64 y (.f64 z 6))))
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))
(pow.f64 (.f64 y (.f64 z 6)) 1)
(.f64 6 (.f64 y z))
(.f64 y (.f64 6 z))

eval36.0ms (0.4%)

Compiler: Compiled 494 to 355 computations (28.1% saved)

prune25.0ms (0.3%)

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	42	10	52

Error

Counts

52 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.0b	(+.f64 x (.f64 (.f64 6 y) z))
✓	23.4b	(+.f64 x (.f64 (.f64 -6 x) z))
✓	10.8b	(+.f64 x (.f64 y (.f64 z 6)))
✓	0.1b	(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
✓	10.8b	(+.f64 x (.f64 6 (.f64 z y)))
✓	23.4b	(+.f64 x (.f64 -6 (.f64 z x)))
✓	23.4b	(.f64 (+.f64 1 (.f64 -6 z)) x)
▶	52.3b	(.f64 (.f64 -6 z) x)
✓	52.3b	(.f64 -6 (.f64 z x))
	33.9b	x

Compiler

Compiled 92 to 66 computations (28.3% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 -6 z) x)

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite109.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1620×	`rational.json-5`
1618×	`exponential.json-3`
1618×	`rational.json-1`
1618×	`rational.json-2`
1618×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	59	13
2	196	13
3	744	13
4	3079	13

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 (.f64 -6 z) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -6 (*.f64 z x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -6 (*.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -6 (*.f64 z x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 z x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -6 (*.f64 z x)) (/.f64 (*.f64 -6 (*.f64 z x)) (*.f64 -6 (*.f64 z x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -6 (*.f64 z x)) 1)))))

simplify213.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1404×	`rational.json-simplify-79`
948×	`rational.json-simplify-2`
930×	`rational.json-simplify-80`
768×	`rational.json-simplify-76`
742×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	390
1	30	390
2	97	390
3	329	390
4	1412	390
5	3312	390
6	4884	390
7	6336	390

Stop Event

1×	node limit

Counts

30 → 7

Calls

Call 1

Inputs
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) 0)
(+.f64 0 (.f64 -6 (.f64 z x)))
(-.f64 (.f64 -6 (.f64 z x)) 0)
(/.f64 (.f64 -6 (.f64 z x)) 1)
(/.f64 (.f64 -6 (.f64 z x)) (/.f64 (.f64 -6 (.f64 z x)) (.f64 -6 (.f64 z x))))
(pow.f64 (.f64 -6 (.f64 z x)) 1)

Outputs
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(.f64 -6 (.f64 z x))
(+.f64 (.f64 -6 (.f64 z x)) 0)
(.f64 -6 (.f64 z x))
(+.f64 0 (.f64 -6 (.f64 z x)))
(.f64 -6 (.f64 z x))
(-.f64 (.f64 -6 (.f64 z x)) 0)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 z x)) 1)
(.f64 -6 (.f64 z x))
(/.f64 (.f64 -6 (.f64 z x)) (/.f64 (.f64 -6 (.f64 z x)) (.f64 -6 (.f64 z x))))
(.f64 -6 (.f64 z x))
(pow.f64 (.f64 -6 (.f64 z x)) 1)
(.f64 -6 (.f64 z x))

eval3.0ms (0%)

Compiler: Compiled 60 to 34 computations (43.3% saved)

prune31.0ms (0.3%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	7	0	7
Fresh	0	1	1
Picked	0	1	1
Done	0	8	8
Total	7	10	17

Error

Counts

17 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.0b	(+.f64 x (.f64 (.f64 6 y) z))
✓	23.4b	(+.f64 x (.f64 (.f64 -6 x) z))
✓	10.8b	(+.f64 x (.f64 y (.f64 z 6)))
✓	0.1b	(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
✓	10.8b	(+.f64 x (.f64 6 (.f64 z y)))
✓	23.4b	(+.f64 x (.f64 -6 (.f64 z x)))
✓	23.4b	(.f64 (+.f64 1 (.f64 -6 z)) x)
✓	52.3b	(.f64 (.f64 -6 z) x)
✓	52.3b	(.f64 -6 (.f64 z x))
	33.9b	x

Compiler

Compiled 92 to 66 computations (28.3% saved)

regimes75.0ms (0.9%)

Counts

12 → 1

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 y (.f64 z 6)))
(+.f64 x (.f64 (.f64 -6 x) z))
(+.f64 x (.f64 (.f64 6 y) z))
(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))

Outputs
(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))

Calls

4 calls:

22.0ms	z
19.0ms	y
15.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
14.0ms	x

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`z`
0.1b	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))`

Compiler

Compiled 107 to 63 computations (41.1% saved)

regimes118.0ms (1.3%)

Counts

9 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 y (.f64 z 6)))
(+.f64 x (.f64 (.f64 -6 x) z))
(+.f64 x (.f64 (.f64 6 y) z))

Outputs
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 (.f64 6 y) z))

Calls

3 calls:

38.0ms	x
37.0ms	z
36.0ms	y

Results

Error	Segments	Branch
6.7b	3	`x`
5.8b	3	`y`
9.6b	2	`z`

Compiler

Compiled 68 to 42 computations (38.2% saved)

bsearch84.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
21.0ms	2.1652342646987352e-26	3.490340068749049e-24
63.0ms	-9.697653605860033e-146	-2.381745045568764e-149

Results

77.0ms

240×

body

256

valid

Compiler

Compiled 348 to 253 computations (27.3% saved)

regimes102.0ms (1.2%)

Counts

8 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 y (.f64 z 6)))
(+.f64 x (.f64 (.f64 -6 x) z))

Outputs
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 y (.f64 z 6)))

Calls

3 calls:

34.0ms	x
33.0ms	y
31.0ms	z

Results

Error	Segments	Branch
6.7b	3	`x`
5.8b	3	`y`
9.6b	2	`z`

Compiler

Compiled 61 to 38 computations (37.7% saved)

bsearch49.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
21.0ms	2.1652342646987352e-26	3.490340068749049e-24
28.0ms	-9.697653605860033e-146	-2.381745045568764e-149

Results

42.0ms

240×

body

256

valid

Compiler

Compiled 348 to 253 computations (27.3% saved)

regimes93.0ms (1.1%)

Counts

6 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 6 (.f64 z y)))

Outputs
(+.f64 x (.f64 6 (.f64 z y)))
(+.f64 x (.f64 -6 (.f64 z x)))
(+.f64 x (.f64 6 (.f64 z y)))

Calls

3 calls:

39.0ms	y
29.0ms	x
22.0ms	z

Results

Error	Segments	Branch
6.7b	3	`x`
5.8b	3	`y`
9.6b	2	`z`

Compiler

Compiled 47 to 30 computations (36.2% saved)

bsearch53.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	2.1652342646987352e-26	3.490340068749049e-24
29.0ms	-9.697653605860033e-146	-2.381745045568764e-149

Results

46.0ms

240×

body

256

valid

Compiler

Compiled 348 to 253 computations (27.3% saved)

regimes32.0ms (0.4%)

Counts

5 → 1

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)
(+.f64 x (.f64 -6 (.f64 z x)))

Outputs
(+.f64 x (.f64 -6 (.f64 z x)))

Calls

3 calls:

11.0ms	z
10.0ms	x
8.0ms	y

Results

Error	Segments	Branch
23.4b	1	`x`
23.4b	1	`y`
23.4b	1	`z`

Compiler

Compiled 40 to 26 computations (35% saved)

regimes27.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)
(.f64 (+.f64 1 (.f64 -6 z)) x)

Outputs
(.f64 (+.f64 1 (.f64 -6 z)) x)

Calls

3 calls:

12.0ms	y
7.0ms	x
6.0ms	z

Results

Error	Segments	Branch
23.4b	1	`x`
23.4b	1	`y`
23.4b	1	`z`

Compiler

Compiled 33 to 23 computations (30.3% saved)

regimes62.0ms (0.7%)

Accuracy

Total -37.4b remaining (-152.7%)

Threshold costs -37.4b (-152.7%)

Counts

3 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 z x))
(.f64 (.f64 -6 z) x)

Outputs
(.f64 -6 (.f64 z x))
x
(.f64 -6 (.f64 z x))

Calls

3 calls:

24.0ms	y
22.0ms	z
13.0ms	x

Results

Error	Segments	Branch
33.9b	1	`x`
32.7b	3	`y`
24.5b	3	`z`

Compiler

Compiled 26 to 18 computations (30.8% saved)

bsearch60.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
29.0ms	1.330227689897091e-5	460.0845983544187
30.0ms	-23806090.287587877	-0.01956691862413339

Results

53.0ms

288×

body

256

valid

Compiler

Compiled 270 to 211 computations (21.9% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	334

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
(if (<=.f64 y -8997827589086393/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 8188554877585463/348449143727040986586495598010130648530944) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 (.f64 6 y) z))))
(if (<=.f64 y -3936549570225297/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 3832940580997451/174224571863520493293247799005065324265472) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 y (.f64 z 6)))))
(if (<=.f64 y -5623642243178995/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 3832940580997451/174224571863520493293247799005065324265472) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 6 (.f64 z y)))))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(if (<=.f64 z -6124895493223875/36028797018963968) (.f64 -6 (.f64 z x)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 -6 (.f64 z x))))
x

Outputs
(+.f64 x (.f64 6 (.f64 z (-.f64 y x))))
(if (<=.f64 y -8997827589086393/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 8188554877585463/348449143727040986586495598010130648530944) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 (.f64 6 y) z))))
(if (<=.f64 y -3936549570225297/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 3832940580997451/174224571863520493293247799005065324265472) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 y (.f64 z 6)))))
(if (<=.f64 y -5623642243178995/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368) (+.f64 x (.f64 6 (.f64 z y))) (if (<=.f64 y 3832940580997451/174224571863520493293247799005065324265472) (+.f64 x (.f64 -6 (.f64 z x))) (+.f64 x (.f64 6 (.f64 z y)))))
(+.f64 x (.f64 -6 (.f64 z x)))
(.f64 (+.f64 1 (.f64 -6 z)) x)
(if (<=.f64 z -6124895493223875/36028797018963968) (.f64 -6 (.f64 z x)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 -6 (.f64 z x))))
x

Compiler

Compiled 154 to 102 computations (33.8% saved)

soundness0.0ms (0%)

end116.0ms (1.3%)

Compiler: Compiled 133 to 75 computations (43.6% saved)

Details

analyze551.0ms (6.3%)

sample2.4s (27.8%)

preprocess12.0ms (0.1%)

simplify28.0ms (0.3%)

eval3.0ms (0%)

prune2.0ms (0%)

localize17.0ms (0.2%)

series166.0ms (1.9%)

rewrite148.0ms (1.7%)

simplify384.0ms (4.4%)

localize18.0ms (0.2%)

series1.0ms (0%)

rewrite161.0ms (1.8%)

simplify336.0ms (3.8%)

eval13.0ms (0.2%)

prune16.0ms (0.2%)

localize10.0ms (0.1%)

series3.0ms (0%)

rewrite329.0ms (3.8%)

simplify228.0ms (2.6%)

localize14.0ms (0.2%)

series9.0ms (0.1%)

rewrite112.0ms (1.3%)

simplify207.0ms (2.4%)

localize9.0ms (0.1%)

series3.0ms (0%)

rewrite90.0ms (1%)

simplify235.0ms (2.7%)

localize17.0ms (0.2%)

series129.0ms (1.5%)

rewrite122.0ms (1.4%)

simplify320.0ms (3.6%)

localize16.0ms (0.2%)

series1.0ms (0%)

rewrite113.0ms (1.3%)

simplify237.0ms (2.7%)

eval55.0ms (0.6%)

prune38.0ms (0.4%)

localize18.0ms (0.2%)

localize17.0ms (0.2%)

series4.0ms (0%)

rewrite146.0ms (1.7%)

simplify286.0ms (3.3%)

localize22.0ms (0.2%)

series1.0ms (0%)

rewrite130.0ms (1.5%)

simplify237.0ms (2.7%)

eval36.0ms (0.4%)

prune25.0ms (0.3%)

localize11.0ms (0.1%)

series1.0ms (0%)

rewrite109.0ms (1.2%)

simplify213.0ms (2.4%)

eval3.0ms (0%)

prune31.0ms (0.3%)

regimes75.0ms (0.9%)

regimes118.0ms (1.3%)

bsearch84.0ms (1%)

regimes102.0ms (1.2%)

bsearch49.0ms (0.6%)

regimes93.0ms (1.1%)

bsearch53.0ms (0.6%)

regimes32.0ms (0.4%)

regimes27.0ms (0.3%)

regimes62.0ms (0.7%)

bsearch60.0ms (0.7%)

simplify10.0ms (0.1%)

soundness0.0ms (0%)

end116.0ms (1.3%)

Profiling