Details

sample153.0ms

Algorithm

intervals

Results

80.0ms

481×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: done (4.1s)

Iter	Nodes	Cost
0	28	31
1	67	29
2	221	27
3	795	27
4	3643	27
done	5000	26

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (* x 18.0) y)
0.7b	(* (* j 27.0) k)
3.9b	(* (* (* (* x 18.0) y) z) t)
5.1b	(* (* (* x 18.0) y) z)

rewrite361.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`expm1-log1p-u` `associate-l` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

4 → 89

Calls

4 calls:

23.0ms	(* (* x 18.0) y)
31.0ms	(* (* j 27.0) k)
225.0ms	(* (* (* (* x 18.0) y) z) t)
79.0ms	(* (* (* x 18.0) y) z)

series171.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* x 18.0) y)
30.0ms	(* (* j 27.0) k)
73.0ms	(* (* (* (* x 18.0) y) z) t)
45.0ms	(* (* (* x 18.0) y) z)

simplify2.9s

Counts

101 → 101

Iterations

Useful iterations: done (2.9s)

Iter	Nodes	Cost
0	145	974
1	378	944
2	3123	776
done	5001	772

prune566.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.1b

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (* x 18.0) y)
0.5b	(* j (* 27.0 k))
3.9b	(* (* (* (* x 18.0) y) z) t)
5.1b	(* (* (* x 18.0) y) z)

rewrite319.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

4 → 89

Calls

4 calls:

18.0ms	(* (* x 18.0) y)
16.0ms	(* j (* 27.0 k))
207.0ms	(* (* (* (* x 18.0) y) z) t)
76.0ms	(* (* (* x 18.0) y) z)

series124.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* x 18.0) y)
19.0ms	(* j (* 27.0 k))
52.0ms	(* (* (* (* x 18.0) y) z) t)
31.0ms	(* (* (* x 18.0) y) z)

simplify2.6s

Counts

101 → 101

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	143	971
1	366	943
2	2815	769
done	5001	767

prune558.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.1b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 27.0 (* k j))
0.5b	(* (* x 18.0) y)
3.9b	(* (* (* (* x 18.0) y) z) t)
5.1b	(* (* (* x 18.0) y) z)

rewrite365.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

4 → 89

Calls

4 calls:

16.0ms	(* 27.0 (* k j))
19.0ms	(* (* x 18.0) y)
252.0ms	(* (* (* (* x 18.0) y) z) t)
75.0ms	(* (* (* x 18.0) y) z)

series183.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* 27.0 (* k j))
31.0ms	(* (* x 18.0) y)
83.0ms	(* (* (* (* x 18.0) y) z) t)
47.0ms	(* (* (* x 18.0) y) z)

simplify2.4s

Counts

101 → 101

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	141	971
1	363	943
2	2805	745
done	5001	737

prune518.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.9b	(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
3.9b	(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
4.4b	(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

92×	`pow1` `add-exp-log`
67×	`pow-prod-down` `prod-exp` `cbrt-unprod`
60×	`add-cbrt-cube`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-l` `*-commutative`
1×	`pow1/3`

Counts

4 → 119

Calls

4 calls:

1.0ms	(cbrt z)
290.0ms	(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
875.0ms	(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
109.0ms	(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

series604.0ms

Counts

4 → 12

Calls

4 calls:

260.0ms	(cbrt z)
70.0ms	(* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z))
79.0ms	(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
195.0ms	(* (* (cbrt z) (cbrt z)) (* 18.0 (* x y)))

simplify2.7s

Counts

131 → 131

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	164	2201
1	494	2121
2	3181	1357
done	5001	1122

prune472.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 1.1b

regimes1.7s

Accuracy

37.2% (3.2b remaining)

Error of 3.9b against oracle of 0.7b and baseline of 5.8b

bsearch202.0ms

Steps

Iters	Range		Point
4	1.0831526595779637e-25	2.030564207232714e-25	1.2311857138990182e-25
6	-1.702368960209579e-108	-1.5633722365396782e-109	-1.6788810924362764e-108

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	39	86
1	55	61
done	55	61

end0.0ms

sample4.9s

Algorithm

intervals

Results

3.1s

16191×

body

valid