Details

sample128.0ms

Algorithm

intervals

Results

83.0ms

568×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
5	1898
4	721
3	290
2	96
1	43
0	23

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* c t) (* i y))
3.7b	(* j (- (* c t) (* i y)))
6.7b	(* x (- (* y z) (* t a)))
6.8b	(* b (- (* c z) (* i a)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `insert-posit16` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 88

Calls

4 calls:

10.0ms	(- (* c t) (* i y))
36.0ms	(* j (- (* c t) (* i y)))
40.0ms	(* x (- (* y z) (* t a)))
45.0ms	(* b (- (* c z) (* i a)))

series299.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (* c t) (* i y))
78.0ms	(* j (- (* c t) (* i y)))
96.0ms	(* x (- (* y z) (* t a)))
75.0ms	(* b (- (* c z) (* i a)))

simplify1.2s

Counts

100 → 100

Iterations

Iter	Nodes
done	5000
2	1441
1	458
0	170

prune867.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 9.4b

localize79.0ms

Local error

Found 4 expressions with local error:

3.7b	(* j (- (* c t) (* i y)))
4.7b	(* b (- (* i a)))
6.7b	(* x (- (* y z) (* t a)))
7.6b	(* b (* c z))

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`associate-r`
12×	`associate-l`
11×	`*-un-lft-identity` `add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 92

Calls

4 calls:

46.0ms	(* j (- (* c t) (* i y)))
22.0ms	(* b (- (* i a)))
49.0ms	(* x (- (* y z) (* t a)))
29.0ms	(* b (* c z))

series242.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(* j (- (* c t) (* i y)))
34.0ms	(* b (- (* i a)))
93.0ms	(* x (- (* y z) (* t a)))
28.0ms	(* b (* c z))

simplify1.6s

Counts

104 → 104

Iterations

Iter	Nodes
done	5000
2	1500
1	465
0	178

prune963.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 6.7b

localize85.0ms

Local error

Found 4 expressions with local error:

5.1b	(cbrt (* j (- (* c t) (* i y))))
5.1b	(cbrt (* j (- (* c t) (* i y))))
6.7b	(* x (- (* y z) (* t a)))
7.6b	(* b (* c z))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l` `associate-*r/`
4×	`cbrt-div` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`flip3--` `flip--`
2×	`cbrt-prod` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow1/3` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 68

Calls

4 calls:

14.0ms	(cbrt (* j (- (* c t) (* i y))))
19.0ms	(cbrt (* j (- (* c t) (* i y))))
58.0ms	(* x (- (* y z) (* t a)))
26.0ms	(* b (* c z))

series482.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(cbrt (* j (- (* c t) (* i y))))
175.0ms	(cbrt (* j (- (* c t) (* i y))))
83.0ms	(* x (- (* y z) (* t a)))
32.0ms	(* b (* c z))

simplify2.2s

Counts

80 → 80

Iterations

Iter	Nodes
done	5001
3	4352
2	1231
1	406
0	160

prune912.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 6.6b

localize80.0ms

Local error

Found 4 expressions with local error:

5.1b	(cbrt (* j (- (* c t) (* i y))))
5.1b	(cbrt (* j (- (* c t) (* i y))))
6.7b	(* x (- (* y z) (* t a)))
7.6b	(* b (* c z))

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l` `associate-*r/`
4×	`cbrt-div` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`flip3--` `flip--`
2×	`cbrt-prod` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow1/3` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 68

Calls

4 calls:

18.0ms	(cbrt (* j (- (* c t) (* i y))))
15.0ms	(cbrt (* j (- (* c t) (* i y))))
46.0ms	(* x (- (* y z) (* t a)))
29.0ms	(* b (* c z))

series532.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(cbrt (* j (- (* c t) (* i y))))
200.0ms	(cbrt (* j (- (* c t) (* i y))))
112.0ms	(* x (- (* y z) (* t a)))
40.0ms	(* b (* c z))

simplify2.0s

Counts

80 → 80

Iterations

Iter	Nodes
done	5001
3	4352
2	1231
1	406
0	160

prune889.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 6.6b

regimes1.9s

Accuracy

23.7% (4.5b remaining)

Error of 10.8b against oracle of 6.3b and baseline of 12.2b

bsearch405.0ms

Steps

Iters	Range	Point
10	4.7719908605860754e+101	2.3192601855121753e+116	2.101267297331773e+110
9	-3.211540686274867e-289	-1.3861816678623882e-295	-4.028168201093351e-290
3	-9.059429162236524e-79	-6.610426928645608e-79	-8.906366522637092e-79

Iters

Range

Point

4.7719908605860754e+101

2.3192601855121753e+116

2.101267297331773e+110

-3.211540686274867e-289

-1.3861816678623882e-295

-4.028168201093351e-290

-9.059429162236524e-79

-6.610426928645608e-79

-8.906366522637092e-79

simplify28.0ms

Iterations

Iter	Nodes
done	96
3	96
2	95
1	83
0	51

end0.0ms

sample4.7s

Algorithm

intervals

Results

3.7s

19161×

body

valid