Details

sample163.0ms

Algorithm

intervals

Results

91.0ms

521×

body

valid

simplify4.5s

Counts

1 → 1

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	28	613
1	66	573
2	196	573
3	543	573
4	1125	573
5	2272	573
done	5001	573

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite334.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
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:

14.0ms	(* (* x 18.0) y)
15.0ms	(* (* j 27.0) k)
253.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
50.0ms	(* (* (* x 18.0) y) z)

series211.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.9s

Counts

93 → 93

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	158	18918
1	421	17583
2	1567	17343
done	5000	16463

prune992.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.4b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.3b	(* 27.0 (* j k))
3.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.1b	(* (* (* x 18.0) y) z)

rewrite339.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`*-un-lft-identity` `add-cube-cbrt`
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:

29.0ms	(* (* x 18.0) y)
15.0ms	(* 27.0 (* j k))
237.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
54.0ms	(* (* (* x 18.0) y) z)

series296.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (* x 18.0) y)
34.0ms	(* 27.0 (* j k))
196.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
32.0ms	(* (* (* x 18.0) y) z)

simplify2.0s

Counts

93 → 93

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	154	18878
1	405	17584
2	1542	17064
done	5001	16464

prune835.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.4b

localize70.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 18.0 y))
0.3b	(* 27.0 (* j k))
3.2b	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
5.1b	(* (* x (* 18.0 y)) z)

rewrite284.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`*-un-lft-identity` `add-cube-cbrt`
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:

24.0ms	(* x (* 18.0 y))
14.0ms	(* 27.0 (* j k))
193.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
49.0ms	(* (* x (* 18.0 y)) z)

series280.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* x (* 18.0 y))
23.0ms	(* 27.0 (* j k))
190.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
39.0ms	(* (* x (* 18.0 y)) z)

simplify2.0s

Counts

93 → 93

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	152	18879
1	398	17626
2	1420	16866
done	5001	16826

prune996.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.4b

localize73.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sqrt 27.0) (* j k))
0.3b	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
3.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.1b	(* (* (* x 18.0) y) z)

rewrite420.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

31.0ms	(* (sqrt 27.0) (* j k))
63.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
242.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
80.0ms	(* (* (* x 18.0) y) z)

series426.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(* (sqrt 27.0) (* j k))
123.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
167.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
54.0ms	(* (* (* x 18.0) y) z)

simplify2.1s

Counts

102 → 102

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	168	23637
1	447	20081
2	1809	19321
done	5003	19121

prune813.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 1.4b

regimes2.3s

Accuracy

16.6% (2.9b remaining)

Error of 5.0b against oracle of 2.1b and baseline of 5.6b

bsearch310.0ms

Steps

Iters	Range		Point
8	687440076.1976154	3402053822336.5728	5888699400.346459
10	-7.888380851790777e-84	-4.0436577361204634e-97	-8.580938398712718e-92

simplify287.0ms

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	39	1036
1	56	1035
2	66	1035
3	69	1035
done	69	1035

end0.0ms

sample3.1s

Algorithm

intervals

Results

2.2s

15937×

body

valid