Details

sample133.0ms

Algorithm

intervals

Results

59.0ms

569×

body

valid

simplify1.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	950
3	290
2	96
1	43
0	23

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b	(- (* t c) (* i y))
4.4b	(* j (- (* t c) (* i y)))
4.9b	(* (- (* a i) (* z c)) b)
6.5b	(* (- (* z y) (* t a)) x)

rewrite75.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`
6×	`add-log-exp`
4×	`flip3--` `associate-*l/` `flip--`
3×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
1×	`diff-log`

Counts

4 → 76

Calls

4 calls:

6.0ms	(- (* t c) (* i y))
20.0ms	(* j (- (* t c) (* i y)))
19.0ms	(* (- (* a i) (* z c)) b)
29.0ms	(* (- (* z y) (* t a)) x)

series294.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(- (* t c) (* i y))
90.0ms	(* j (- (* t c) (* i y)))
73.0ms	(* (- (* a i) (* z c)) b)
66.0ms	(* (- (* z y) (* t a)) x)

simplify666.0ms

Counts

88 → 88

Iterations

Iter	Nodes
done	5000
2	1669
1	414
0	153

prune847.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.1b

localize86.0ms

Local error

Found 4 expressions with local error:

3.5b	(* t (* x a))
4.4b	(* j (- (* t c) (* i y)))
4.7b	(* y (* x z))
4.9b	(* (- (* a i) (* z c)) b)

rewrite115.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`add-sqr-sqrt`
12×	`associate-l`
10×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `flip3--` `associate-l/` `associate-r/` `flip--` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

24.0ms	(* t (* x a))
39.0ms	(* j (- (* t c) (* i y)))
19.0ms	(* y (* x z))
30.0ms	(* (- (* a i) (* z c)) b)

series255.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* t (* x a))
99.0ms	(* j (- (* t c) (* i y)))
30.0ms	(* y (* x z))
93.0ms	(* (- (* a i) (* z c)) b)

simplify1.2s

Counts

92 → 92

Iterations

Iter	Nodes
done	5001
2	1733
1	442
0	168

prune878.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.9b

localize62.0ms

Local error

Found 4 expressions with local error:

4.4b	(* j (- (* t c) (* i y)))
4.7b	(* y (* x z))
4.9b	(* (- (* a i) (* z c)) b)
6.7b	(* (* x t) a)

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`add-sqr-sqrt`
10×	`-un-lft-identity` `associate-r` `associate-l*` `add-cube-cbrt`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `flip3--` `associate-l/` `associate-r/` `flip--` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

20.0ms	(* j (- (* t c) (* i y)))
15.0ms	(* y (* x z))
31.0ms	(* (- (* a i) (* z c)) b)
20.0ms	(* (* x t) a)

series302.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(* j (- (* t c) (* i y)))
49.0ms	(* y (* x z))
102.0ms	(* (- (* a i) (* z c)) b)
45.0ms	(* (* x t) a)

simplify843.0ms

Counts

92 → 92

Iterations

Iter	Nodes
done	5002
2	2084
1	455
0	169

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.9b

localize105.0ms

Local error

Found 4 expressions with local error:

4.2b	(* c (* t j))
4.7b	(* y (* x z))
4.9b	(* (- (* a i) (* z c)) b)
6.7b	(* (* x t) a)

rewrite118.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1` `add-cbrt-cube` `add-exp-log`
11×	`add-sqr-sqrt`
10×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 74

Calls

4 calls:

26.0ms	(* c (* t j))
24.0ms	(* y (* x z))
38.0ms	(* (- (* a i) (* z c)) b)
26.0ms	(* (* x t) a)

series230.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* c (* t j))
31.0ms	(* y (* x z))
116.0ms	(* (- (* a i) (* z c)) b)
47.0ms	(* (* x t) a)

simplify1.0s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	1934
1	400
0	152

prune910.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.9b

regimes2.5s

Accuracy

19.6% (9.7b remaining)

Error of 10.6b against oracle of 1.0b and baseline of 13.0b

bsearch741.0ms

Steps

Iters	Range		Point
8	5611290703669102.0	1.7276069190504608e+19	2.691655876310627e+16
8	1.0711279922117032e-123	3.2527221388274796e-119	5.22056311689387e-121
8	1.6732165416543581e-217	9.811185069165393e-214	1.002984371457372e-214
9	-3.773635288185855e+33	-2.5569188551978245e+27	-6.389942398473198e+30

simplify47.0ms

Iterations

Iter	Nodes
done	129
3	129
2	121
1	108
0	64

end0.0ms

sample5.7s

Algorithm

intervals

Results

4.2s

19189×

body

valid