Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

364×

body

valid

simplify167.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (59.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

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

92.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
6.0ms	(+ x (* y z))
23.0ms	(+ (+ x (* y z)) (* t a))
19.0ms	(* (* a z) b)

series203.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
27.0ms	(+ x (* y z))
54.0ms	(+ (+ x (* y z)) (* t a))
28.0ms	(* (* a z) b)

simplify870.0ms

Counts

85 → 85

Iterations

Useful iterations: done (868.0ms)

Iter	Nodes	Cost
0	123	930
1	353	781
2	1525	697
done	5000	662

prune245.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

6.2b	(* (* a z) b)
15.9b	(cbrt (* (* a z) b))
15.9b	(cbrt (* (* a z) b))
15.9b	(cbrt (* (* a z) b))

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

19.0ms	(* (* a z) b)
12.0ms	(cbrt (* (* a z) b))
11.0ms	(cbrt (* (* a z) b))
12.0ms	(cbrt (* (* a z) b))

series338.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* a z) b)
103.0ms	(cbrt (* (* a z) b))
102.0ms	(cbrt (* (* a z) b))
104.0ms	(cbrt (* (* a z) b))

simplify2.8s

Counts

65 → 65

Iterations

Useful iterations: done (2.8s)

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

prune245.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

6.2b	(* (* a z) b)
15.9b	(cbrt (* (* a z) b))
15.9b	(cbrt (* (* a z) b))
15.9b	(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))

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

16.0ms	(* (* a z) b)
12.0ms	(cbrt (* (* a z) b))
12.0ms	(cbrt (* (* a z) b))
92.0ms	(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))

series328.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (* a z) b)
100.0ms	(cbrt (* (* a z) b))
99.0ms	(cbrt (* (* a z) b))
101.0ms	(cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))

simplify2.6s

Counts

65 → 65

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	93	670
1	200	650
2	659	558
3	2185	500
done	5000	442

prune286.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

2.6b	(fma (fma z b t) a x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma (fma z b t) a x)

series79.0ms

Counts

1 → 3

Calls

1 calls:

79.0ms

(fma (fma z b t) a x)

simplify821.0ms

Counts

13 → 13

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	22	125
1	36	123
2	76	103
3	261	103
4	1494	103
done	5001	103

prune40.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes195.0ms

Accuracy

85.7% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 1.9b

bsearch116.0ms

Steps

Iters	Range		Point
9	1.304071241280679e-38	3.964996107088508e-33	2.471045423623237e-35
9	-3.6315278504273094e+22	-2.8163082396285558e+17	-1.000188037143603e+20

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

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

end0.0ms

sample957.0ms

Algorithm

intervals

Results

396.0ms

11763×

body

valid