Details

sample68.0ms

Algorithm

intervals

Results

28.0ms

397×

body

valid

simplify208.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (85.0ms)

Iter	Nodes	Cost
0	13	15
1	26	15
2	67	12
3	136	11
4	180	10
5	191	10
6	194	10
done	194	10

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.9b	(* (* a z) b)

rewrite158.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-log-exp`
9×	`sum-log`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `fma-def` `*-un-lft-identity`
3×	`expm1-log1p-u` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
2×	`+-commutative` `associate-+l+` `flip3-+` `flip-+`
1×	`associate-l` `*-commutative`

Counts

3 → 57

Calls

3 calls:

28.0ms	(+ (+ x (* y z)) (* t a))
105.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
23.0ms	(* (* a z) b)

series240.0ms

Counts

3 → 9

Calls

3 calls:

70.0ms	(+ (+ x (* y z)) (* t a))
137.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
33.0ms	(* (* a z) b)

simplify1.1s

Counts

66 → 66

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	105	798
1	293	701
2	1332	595
done	5001	560

prune252.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* a z) b)
10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
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` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-l` `*-commutative`

Counts

4 → 53

Calls

4 calls:

25.0ms	(* (* a z) b)
19.0ms	(cbrt (* (* a z) b))
28.0ms	(cbrt (* (* a z) b))
19.0ms	(cbrt (* (* a z) b))

series436.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (* a z) b)
141.0ms	(cbrt (* (* a z) b))
123.0ms	(cbrt (* (* a z) b))
134.0ms	(cbrt (* (* a z) b))

simplify3.6s

Counts

65 → 65

Iterations

Useful iterations: done (3.6s)

Iter	Nodes	Cost
0	80	579
1	183	559
2	626	481
3	2140	463
done	5001	435

prune306.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

12.0ms	(cbrt (* (* a z) b))
14.0ms	(cbrt (* (* a z) b))
21.0ms	(cbrt (* (* a z) b))
24.0ms	(cbrt (* (* a z) b))

series491.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(cbrt (* (* a z) b))
113.0ms	(cbrt (* (* a z) b))
131.0ms	(cbrt (* (* a z) b))
134.0ms	(cbrt (* (* a z) b))

simplify2.4s

Counts

56 → 56

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	50	552
1	107	540
2	270	484
3	789	468
4	2170	412
done	5000	404

prune333.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))
10.7b	(cbrt (* (* a z) b))
11.1b	(cbrt (* a z))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

16.0ms	(cbrt (* (* a z) b))
15.0ms	(cbrt (* (* a z) b))
28.0ms	(cbrt (* (* a z) b))
5.0ms	(cbrt (* a z))

series462.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(cbrt (* (* a z) b))
124.0ms	(cbrt (* (* a z) b))
131.0ms	(cbrt (* (* a z) b))
94.0ms	(cbrt (* a z))

simplify1.7s

Counts

56 → 56

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	69	510
1	146	499
2	353	448
3	970	429
4	2494	379
done	5001	372

prune378.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes457.0ms

Accuracy

81.9% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 2.1b

bsearch89.0ms

Steps

Iters	Range		Point
9	6.238119299815474e+118	2.5560167260369036e+125	6.324662990263947e+118
3	-5.697631814876105e-29	-4.160333268533682e-29	-4.53934499841231e-29

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	22	43
1	32	34
done	32	34

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

11932×

body

valid