Details

sample40.0ms

Algorithm

intervals

Results

21.0ms

285×

body

valid

simplify3.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
29	4873
28	4661
27	4456
26	4244
25	4037
24	3825
23	3620
22	3408
21	3199
20	2984
19	2775
18	2560
17	2343
16	2094
15	1816
14	1445
13	1266
12	898
11	542
10	315
9	258
8	217
7	197
6	168
5	129
4	86
3	53
2	34
1	20
0	10

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
2.8b	(* y (/ (- z t) (- a t)))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

10.0ms	(+ x (* y (/ (- z t) (- a t))))
17.0ms	(/ (- z t) (- a t))
60.0ms	(* y (/ (- z t) (- a t)))

series334.0ms

Counts

3 → 9

Calls

3 calls:

140.0ms	(+ x (* y (/ (- z t) (- a t))))
92.0ms	(/ (- z t) (- a t))
102.0ms	(* y (/ (- z t) (- a t)))

simplify1.3s

Counts

122 → 122

Iterations

Iter	Nodes
done	5003
2	1370
1	439
0	162

prune528.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
2.8b	(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

rewrite332.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-exp-log`
35×	`prod-exp`
26×	`add-cbrt-cube`
15×	`cbrt-prod` `div-exp` `cbrt-unprod`
14×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`pow1`
8×	`add-cube-cbrt`
7×	`cbrt-undiv`
6×	`cbrt-div`
4×	`rec-exp` `1-exp` `associate-*r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`frac-times` `associate-r` `associate-l/` `-commutative`

Counts

4 → 84

Calls

4 calls:

5.0ms	(cbrt (- a t))
5.0ms	(cbrt (- a t))
5.0ms	(cbrt (- a t))
312.0ms	(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

series777.0ms

Counts

4 → 12

Calls

4 calls:

181.0ms	(cbrt (- a t))
217.0ms	(cbrt (- a t))
174.0ms	(cbrt (- a t))
205.0ms	(* y (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

simplify1.8s

Counts

96 → 96

Iterations

Iter	Nodes
done	5000
2	1511
1	454
0	173

prune546.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
2.8b	(* y (* (/ 1 (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

100×	`add-exp-log`
59×	`prod-exp`
34×	`add-cbrt-cube`
23×	`cbrt-unprod`
22×	`div-exp`
15×	`cbrt-prod`
14×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`cbrt-undiv`
9×	`pow1`
8×	`add-cube-cbrt`
6×	`rec-exp` `cbrt-div` `1-exp`
4×	`associate-*r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`frac-times` `associate-r` `associate-l/` `-commutative`

Counts

4 → 92

Calls

4 calls:

4.0ms	(cbrt (- a t))
5.0ms	(cbrt (- a t))
5.0ms	(cbrt (- a t))
1.0s	(* y (* (/ 1 (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

series1.1s

Counts

4 → 12

Calls

4 calls:

201.0ms	(cbrt (- a t))
162.0ms	(cbrt (- a t))
216.0ms	(cbrt (- a t))
491.0ms	(* y (* (/ 1 (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (cbrt (- a t)))) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t)))))

simplify2.3s

Counts

104 → 104

Iterations

Iter	Nodes
done	5002
2	1993
1	548
0	203

prune657.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z t))
0.0b	(+ x (/ (* y (- z t)) (- a t)))
12.2b	(/ (* y (- z t)) (- a t))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
7×	`add-cube-cbrt`
5×	`pow1` `associate-/r` `times-frac` `associate-r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `pow-prod-down` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

19.0ms	(* y (- z t))
18.0ms	(+ x (/ (* y (- z t)) (- a t)))
28.0ms	(/ (* y (- z t)) (- a t))

series272.0ms

Counts

3 → 9

Calls

3 calls:

55.0ms	(* y (- z t))
126.0ms	(+ x (/ (* y (- z t)) (- a t)))
91.0ms	(/ (* y (- z t)) (- a t))

simplify2.4s

Counts

76 → 76

Iterations

Iter	Nodes
done	5000
3	4464
2	1052
1	349
0	128

prune288.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes611.0ms

Accuracy

-11% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.3b

bsearch68.0ms

Steps

Iters	Range		Point
7	2.154965800092767e-38	5.692691672606684e-37	2.2624164270792564e-38
3	-1.427556205083161e-53	-9.926875520527059e-54	-1.2148306606454993e-53

simplify7.0ms

Iterations

Iter	Nodes
done	27
1	27
0	22

end0.0ms

sample872.0ms

Algorithm

intervals

Results

439.0ms	8716×	body	80	valid
0.0ms	1×	body	640	valid