Details

sample129.0ms

Algorithm

intervals

Results

74.0ms

574×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	1194
3	333
2	110
1	47
0	23

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.2b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* z y) (* t a))
5.0b	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x)))
5.3b	(fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x))
7.6b	(* (- (* z y) (* t a)) x)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

12.0ms	(- (* z y) (* t a))
0.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x)))
0.0ms	(fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x))
29.0ms	(* (- (* z y) (* t a)) x)

series1.2s

Counts

4 → 12

Calls

4 calls:

64.0ms	(- (* z y) (* t a))
748.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x)))
312.0ms	(fma b (- (* i t) (* z c)) (* (- (* z y) (* t a)) x))
93.0ms	(* (- (* z y) (* t a)) x)

simplify1.4s

Counts

70 → 70

Iterations

Iter	Nodes
done	5000
2	915
1	251
0	110

prune835.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 10.2b

localize69.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
5.0b	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
5.3b	(fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
6.8b	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

rewrite190.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 71

Calls

4 calls:

120.0ms	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
0.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
0.0ms	(fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
68.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

series1.6s

Counts

4 → 12

Calls

4 calls:

155.0ms	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
798.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
373.0ms	(fma b (- (* i t) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
283.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.5s

Counts

83 → 83

Iterations

Iter	Nodes
done	5001
2	1688
1	365
0	144

prune961.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 6.0b

localize125.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))
5.0b	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))))
5.3b	(fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x))))
6.8b	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

rewrite471.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`add-cbrt-cube`
10×	`associate-r`
9×	`cbrt-prod` `add-sqr-sqrt`
8×	`-un-lft-identity` `associate-l/` `add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `*-commutative` `fma-udef` `flip--`
1×	`unswap-sqr`

Counts

4 → 77

Calls

4 calls:

400.0ms	(* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))
0.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))))
1.0ms	(fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x))))
66.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

series1.6s

Counts

4 → 12

Calls

4 calls:

155.0ms	(* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))
789.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)))))
337.0ms	(fma b (- (* i t) (* z c)) (* (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x))))
310.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.8s

Counts

89 → 89

Iterations

Iter	Nodes
done	5002
2	2059
1	442
0	171

prune1.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.9b

localize48.0ms

Local error

Found 4 expressions with local error:

5.0b	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t)))))
5.3b	(fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t))))
5.4b	(* a (* x t))
7.7b	(* x (* z y))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`associate-r` `*-commutative` `fma-udef`

Counts

4 → 60

Calls

4 calls:

0.0ms	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t)))))
0.0ms	(fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t))))
16.0ms	(* a (* x t))
12.0ms	(* x (* z y))

series1.5s

Counts

4 → 12

Calls

4 calls:

1.1s	(fma (- (* a c) (* y i)) j (fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t)))))
292.0ms	(fma b (- (* i t) (* z c)) (- (* x (* z y)) (* a (* x t))))
29.0ms	(* a (* x t))
45.0ms	(* x (* z y))

simplify2.2s

Counts

72 → 72

Iterations

Iter	Nodes
done	5001
3	3610
2	841
1	247
0	112

prune651.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.9b

regimes2.1s

Accuracy

14.6% (6.9b remaining)

Error of 11.4b against oracle of 4.5b and baseline of 12.5b

bsearch281.0ms

Steps

Iters	Range		Point
4	5.776347089377476e+57	1.0712489838165839e+58	8.503750271529326e+57
10	-3.7030386619396704e+99	-2.0152851697206316e+89	-3.407685349478974e+94

simplify17.0ms

Iterations

Iter	Nodes
done	63
2	63
1	62
0	46

end0.0ms

sample4.6s

Algorithm

intervals

Results

3.4s

19106×

body

valid