Details

sample95.0ms

Algorithm

intervals

Results

44.0ms

480×

body

valid

simplify2.5s

Counts: 1 → 1

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* j 27.0) k)
3.1b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.7b	(* (* (* x 18.0) y) z)

rewrite329.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

17.0ms	(* (* x 18.0) y)
18.0ms	(* (* j 27.0) k)
221.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
70.0ms	(* (* (* x 18.0) y) z)

series221.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (* x 18.0) y)
22.0ms	(* (* j 27.0) k)
133.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
32.0ms	(* (* (* x 18.0) y) z)

simplify941.0ms

Counts: 93 → 93

prune471.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* x (* 18.0 y))
3.1b	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
4.7b	(* (* x (* 18.0 y)) z)

rewrite384.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

28.0ms	(* (* j 27.0) k)
25.0ms	(* x (* 18.0 y))
241.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
86.0ms	(* (* x (* 18.0 y)) z)

series264.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (* j 27.0) k)
27.0ms	(* x (* 18.0 y))
171.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
46.0ms	(* (* x (* 18.0 y)) z)

simplify1.0s

Counts: 93 → 93

prune458.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.2b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.7b	(* j (* 27.0 k))
3.1b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.7b	(* (* (* x 18.0) y) z)

rewrite411.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

18.0ms	(* (* x 18.0) y)
24.0ms	(* j (* 27.0 k))
284.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
81.0ms	(* (* (* x 18.0) y) z)

series238.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (* x 18.0) y)
34.0ms	(* j (* 27.0 k))
143.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
31.0ms	(* (* (* x 18.0) y) z)

simplify927.0ms

Counts: 93 → 93

prune489.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 18.0 y))
0.7b	(* j (* 27.0 k))
3.1b	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
4.7b	(* (* x (* 18.0 y)) z)

rewrite723.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

28.0ms	(* x (* 18.0 y))
27.0ms	(* j (* 27.0 k))
593.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
71.0ms	(* (* x (* 18.0 y)) z)

series263.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* x (* 18.0 y))
22.0ms	(* j (* 27.0 k))
155.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
50.0ms	(* (* x (* 18.0 y)) z)

simplify864.0ms

Counts: 93 → 93

prune401.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.1b

regimes1.1s

Accuracy

6.9% (3.7b remaining)

Error of 5.8b against oracle of 2.0b and baseline of 6.0b

bsearch125.0ms

Steps

Iters	Range		Point
6	-3.134295714467115e+132	-6.350005345379512e+131	-1.3175101890443651e+132

simplify5.9s

end0.0ms

sample5.2s

Algorithm

intervals

Results

3.2s

16159×

body

valid