Details

sample192.0ms

Algorithm

intervals

Results

107.0ms

540×

body

valid

simplify5.0s

Counts

1 → 1

Iterations

Useful iterations: done (5.0s)

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize53.0ms

Local error

Found 4 expressions with local error:

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

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

36.0ms	(* (* x 4.0) i)
37.0ms	(* (* x 18.0) y)
254.0ms	(* (* (* (* x 18.0) y) z) t)
85.0ms	(* (* (* x 18.0) y) z)

series183.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (* x 4.0) i)
25.0ms	(* (* x 18.0) y)
75.0ms	(* (* (* (* x 18.0) y) z) t)
49.0ms	(* (* (* x 18.0) y) z)

simplify3.6s

Counts

101 → 101

Iterations

Useful iterations: done (3.5s)

Iter	Nodes	Cost
0	141	974
1	374	944
2	3097	774
done	5001	768

prune663.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 4.0) i)
0.5b	(* (* x 18.0) y)
3.1b	(* t (* (* x 18.0) y))
7.7b	(* (* t (* (* x 18.0) y)) z)

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

25.0ms	(* (* x 4.0) i)
34.0ms	(* (* x 18.0) y)
62.0ms	(* t (* (* x 18.0) y))
213.0ms	(* (* t (* (* x 18.0) y)) z)

series177.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (* x 4.0) i)
41.0ms	(* (* x 18.0) y)
44.0ms	(* t (* (* x 18.0) y))
55.0ms	(* (* t (* (* x 18.0) y)) z)

simplify2.1s

Counts

101 → 101

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	140	977
1	376	949
2	2419	775
done	5000	761

prune567.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 4.0) i)
0.5b	(* t (* x 18.0))
4.8b	(* (* t (* x 18.0)) y)
7.7b	(* (* (* t (* x 18.0)) y) z)

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

28.0ms	(* (* x 4.0) i)
17.0ms	(* t (* x 18.0))
67.0ms	(* (* t (* x 18.0)) y)
192.0ms	(* (* (* t (* x 18.0)) y) z)

series194.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (* x 4.0) i)
40.0ms	(* t (* x 18.0))
51.0ms	(* (* t (* x 18.0)) y)
68.0ms	(* (* (* t (* x 18.0)) y) z)

simplify2.7s

Counts

101 → 101

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	140	973
1	367	945
2	2556	765
done	5001	761

prune616.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize56.0ms

Local error

Found 4 expressions with local error:

7.7b	(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
18.9b	(cbrt (* (* t (* x 18.0)) y))
18.9b	(cbrt (* (* t (* x 18.0)) y))
18.9b	(cbrt (* (* t (* x 18.0)) y))

rewrite926.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 56

Calls

4 calls:

358.0ms	(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
41.0ms	(cbrt (* (* t (* x 18.0)) y))
479.0ms	(cbrt (* (* t (* x 18.0)) y))
45.0ms	(cbrt (* (* t (* x 18.0)) y))

series753.0ms

Counts

4 → 12

Calls

4 calls:

175.0ms	(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
183.0ms	(cbrt (* (* t (* x 18.0)) y))
188.0ms	(cbrt (* (* t (* x 18.0)) y))
207.0ms	(cbrt (* (* t (* x 18.0)) y))

simplify1.1s

Counts

68 → 68

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	100	1335
1	248	1298
2	1126	782
done	5000	686

prune651.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

regimes1.6s

Accuracy

57.4% (1.8b remaining)

Error of 2.1b against oracle of 0.2b and baseline of 4.5b

bsearch484.0ms

Steps

Iters	Range		Point
8	1.1595509377637656e-149	4.113408324853509e-147	1.2555940916309138e-148
9	-7.111369096383435e+18	-1866252227957.9976	-2.6337128988574797e+17

simplify11.0ms

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	42	101
1	62	71
done	62	71

end0.0ms

sample5.2s

Algorithm

intervals

Results

3.2s

16036×

body

valid