Details

sample200.0ms

Algorithm

intervals

Results

142.0ms

507×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Iter	Nodes
6	2452
5	1745
4	1125
3	543
2	196
1	66
0	28

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize74.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* x 4.0) i)
5.6b	(* (* (* (* x 18.0) y) z) t)
6.1b	(* (* (* x 18.0) y) z)

rewrite265.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

22.0ms	(* (* x 18.0) y)
14.0ms	(* (* x 4.0) i)
184.0ms	(* (* (* (* x 18.0) y) z) t)
44.0ms	(* (* (* x 18.0) y) z)

series160.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* x 18.0) y)
42.0ms	(* (* x 4.0) i)
58.0ms	(* (* (* (* x 18.0) y) z) t)
35.0ms	(* (* (* x 18.0) y) z)

simplify7.0s

Counts

97 → 97

Iterations

Iter	Nodes
3	8857
2	1525
1	368
0	137

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize67.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 18.0 (* x y))
0.2b	(* (* x 4.0) i)
5.6b	(* (* (* 18.0 (* x y)) z) t)
6.1b	(* (* 18.0 (* x y)) z)

rewrite290.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

27.0ms	(* 18.0 (* x y))
27.0ms	(* (* x 4.0) i)
180.0ms	(* (* (* 18.0 (* x y)) z) t)
54.0ms	(* (* 18.0 (* x y)) z)

series251.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* 18.0 (* x y))
46.0ms	(* (* x 4.0) i)
92.0ms	(* (* (* 18.0 (* x y)) z) t)
67.0ms	(* (* 18.0 (* x y)) z)

simplify5.1s

Counts

97 → 97

Iterations

Iter	Nodes
3	7325
2	1404
1	356
0	133

prune1.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize118.0ms

Local error

Found 4 expressions with local error:

6.1b	(* (* 18.0 (* x y)) z)
16.0b	(cbrt (* (* 18.0 (* x y)) z))
16.0b	(cbrt (* (* 18.0 (* x y)) z))
16.0b	(cbrt (* (* 18.0 (* x y)) z))

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-cbrt-cube` `add-exp-log`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`insert-posit16` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 52

Calls

4 calls:

43.0ms	(* (* 18.0 (* x y)) z)
52.0ms	(cbrt (* (* 18.0 (* x y)) z))
65.0ms	(cbrt (* (* 18.0 (* x y)) z))
31.0ms	(cbrt (* (* 18.0 (* x y)) z))

series708.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (* 18.0 (* x y)) z)
217.0ms	(cbrt (* (* 18.0 (* x y)) z))
223.0ms	(cbrt (* (* 18.0 (* x y)) z))
221.0ms	(cbrt (* (* 18.0 (* x y)) z))

simplify2.2s

Counts

64 → 64

Iterations

Iter	Nodes
3	4156
2	883
1	250
0	98

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.3b

localize103.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 18.0 (* t (* x (* z y))))
0.2b	(* (* x 4.0) i)
3.5b	(* x (* z y))
5.7b	(* t (* x (* z y)))

rewrite240.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

135.0ms	(* 18.0 (* t (* x (* z y))))
26.0ms	(* (* x 4.0) i)
18.0ms	(* x (* z y))
59.0ms	(* t (* x (* z y)))

series249.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(* 18.0 (* t (* x (* z y))))
35.0ms	(* (* x 4.0) i)
36.0ms	(* x (* z y))
93.0ms	(* t (* x (* z y)))

simplify3.1s

Counts

97 → 97

Iterations

Iter	Nodes
3	5882
2	1226
1	316
0	124

prune1.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes1.9s

Accuracy

12.2% (4.8b remaining)

Error of 5.2b against oracle of 0.4b and baseline of 5.8b

bsearch274.0ms

Steps

Iters	Range		Point
10	-5.075305437224842e-95	-1.4195246876126043e-105	-5.667148220609564e-100

simplify8.0ms

Iterations

Iter	Nodes
2	56
1	56
0	39

end0.0ms

sample6.6s

Algorithm

intervals

Results

4.8s

16239×

body

valid