Details

sample190.0ms

Algorithm

intervals

Results

112.0ms

521×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

Useful iterations: 1 (11.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

prune40.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

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

rewrite369.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)
19.0ms	(* (* j 27.0) k)
283.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
50.0ms	(* (* (* x 18.0) y) z)

series283.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (* x 18.0) y)
26.0ms	(* (* j 27.0) k)
183.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
37.0ms	(* (* (* x 18.0) y) z)

simplify2.0s

Counts

93 → 93

Iterations

Useful iterations: done (2.0s)

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

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.4b

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

rewrite389.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:

15.0ms	(* (* x 18.0) y)
26.0ms	(* 27.0 (* j k))
251.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
95.0ms	(* (* (* x 18.0) y) z)

series323.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* x 18.0) y)
37.0ms	(* 27.0 (* j k))
213.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
37.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

prune905.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.4b

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

rewrite341.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:

21.0ms	(* x (* 18.0 y))
24.0ms	(* 27.0 (* j k))
232.0ms	(* t (- (* (* x (* 18.0 y)) z) (* a 4.0)))
60.0ms	(* (* x (* 18.0 y)) z)

series243.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.9s

Counts

93 → 93

Iterations

Useful iterations: done (1.9s)

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

prune825.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.4b

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

rewrite356.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:

15.0ms	(* (sqrt 27.0) (* j k))
50.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
234.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
55.0ms	(* (* (* x 18.0) y) z)

series316.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(* (sqrt 27.0) (* j k))
88.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
132.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
31.0ms	(* (* (* x 18.0) y) z)

simplify1.7s

Counts

102 → 102

Iterations

Useful iterations: done (1.7s)

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

prune931.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 1.4b

regimes2.6s

Accuracy

16.6% (2.9b remaining)

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

bsearch316.0ms

Steps

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

simplify32.0ms

Iterations

Useful iterations: 1 (10.0ms)

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

end0.0ms

sample3.8s

Algorithm

intervals

Results

2.7s

15937×

body

valid