Details

sample138.0ms

Algorithm

intervals

Results

58.0ms

510×

body

valid

simplify4.5s

Counts

1 → 1

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	18	19
1	33	18
2	87	17
3	262	17
4	966	17
5	3536	17
done	5000	17

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma y x (- (* z t) (* (* c (fma c b a)) i)))
0.0b	(- (* z t) (* (* c (fma c b a)) i))
0.1b	(* c (fma c b a))
8.6b	(* (* c (fma c b a)) i)

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r` `add-log-exp`
4×	`expm1-log1p-u` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`fma-udef`
2×	`*-commutative`
1×	`distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `fma-neg` `diff-log` `prod-diff` `flip--` `unswap-sqr`

Counts

4 → 68

Calls

4 calls:

1.0ms	(fma y x (- (* z t) (* (* c (fma c b a)) i)))
17.0ms	(- (* z t) (* (* c (fma c b a)) i))
13.0ms	(* c (fma c b a))
35.0ms	(* (* c (fma c b a)) i)

series1.2s

Counts

4 → 12

Calls

4 calls:

838.0ms	(fma y x (- (* z t) (* (* c (fma c b a)) i)))
221.0ms	(- (* z t) (* (* c (fma c b a)) i))
56.0ms	(* c (fma c b a))
101.0ms	(* (* c (fma c b a)) i)

simplify1.7s

Counts

80 → 80

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	119	1053
1	284	1007
2	1468	897
done	5000	891

prune848.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.8b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma y x (- (* z t) (* c (* (fma c b a) i))))
0.0b	(- (* z t) (* c (* (fma c b a) i)))
1.1b	(* (fma c b a) i)
5.2b	(* c (* (fma c b a) i))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
2×	`*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--` `fma-udef` `unswap-sqr`

Counts

4 → 66

Calls

4 calls:

1.0ms	(fma y x (- (* z t) (* c (* (fma c b a) i))))
28.0ms	(- (* z t) (* c (* (fma c b a) i)))
14.0ms	(* (fma c b a) i)
33.0ms	(* c (* (fma c b a) i))

series1.3s

Counts

4 → 12

Calls

4 calls:

916.0ms	(fma y x (- (* z t) (* c (* (fma c b a) i))))
229.0ms	(- (* z t) (* c (* (fma c b a) i)))
99.0ms	(* (fma c b a) i)
96.0ms	(* c (* (fma c b a) i))

simplify1.2s

Counts

78 → 78

Iterations

Useful iterations: 2 (229.0ms)

Iter	Nodes	Cost
0	115	1034
1	261	990
2	1150	870
done	5001	870

prune792.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.7b

localize47.0ms

Local error

Found 4 expressions with local error:

5.2b	(* c (* (fma c b a) i))
8.8b	(cbrt (* c (* (fma c b a) i)))
8.8b	(cbrt (* c (* (fma c b a) i)))
8.8b	(cbrt (* c (* (fma c b a) i)))

rewrite87.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-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative`

Counts

4 → 53

Calls

4 calls:

25.0ms	(* c (* (fma c b a) i))
17.0ms	(cbrt (* c (* (fma c b a) i)))
17.0ms	(cbrt (* c (* (fma c b a) i)))
26.0ms	(cbrt (* c (* (fma c b a) i)))

series816.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(* c (* (fma c b a) i))
227.0ms	(cbrt (* c (* (fma c b a) i)))
243.0ms	(cbrt (* c (* (fma c b a) i)))
252.0ms	(cbrt (* c (* (fma c b a) i)))

simplify760.0ms

Counts

65 → 65

Iterations

Useful iterations: done (757.0ms)

Iter	Nodes	Cost
0	87	790
1	210	770
2	758	669
done	5001	651

prune895.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.7b

localize73.0ms

Local error

Found 4 expressions with local error:

5.2b	(* c (* (fma c b a) i))
7.4b	(cbrt (* (fma c b a) i))
8.8b	(cbrt (* c (* (fma c b a) i)))
8.8b	(cbrt (* c (* (fma c b a) i)))

rewrite92.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-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative`

Counts

4 → 53

Calls

4 calls:

29.0ms	(* c (* (fma c b a) i))
17.0ms	(cbrt (* (fma c b a) i))
21.0ms	(cbrt (* c (* (fma c b a) i)))
22.0ms	(cbrt (* c (* (fma c b a) i)))

series798.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(* c (* (fma c b a) i))
217.0ms	(cbrt (* (fma c b a) i))
241.0ms	(cbrt (* c (* (fma c b a) i)))
254.0ms	(cbrt (* c (* (fma c b a) i)))

simplify721.0ms

Counts

65 → 65

Iterations

Useful iterations: done (718.0ms)

Iter	Nodes	Cost
0	118	777
1	280	759
2	973	660
done	5000	642

prune837.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.7b

regimes2.2s

Accuracy

90.8% (0.4b remaining)

Error of 1.2b against oracle of 0.8b and baseline of 5.6b

bsearch168.0ms

Steps

Iters	Range		Point
3	2.6139069941719747e-24	3.165932290960636e-24	2.993424385714179e-24
6	-6.529662058355498e-07	-1.0972138010041631e-07	-5.870291239801502e-07

simplify14.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	28	59
1	40	43
2	44	43
3	51	43
done	51	43

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.1s

15072×

body

valid