Details

sample47.0ms

Algorithm

intervals

Results

19.0ms

273×

body

valid

simplify8.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
23	4993
22	4696
21	4396
20	4100
19	3800
18	3501
17	3194
16	2855
15	2521
14	2047
13	1759
12	1276
11	761
10	447
9	347
8	287
7	262
6	225
5	152
4	94
3	57
2	36
1	20
0	10

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 122

Calls

3 calls:

18.0ms	(+ x (* y (/ (- z t) (- a t))))
52.0ms	(/ (- z t) (- a t))
102.0ms	(* y (/ (- z t) (- a t)))

series454.0ms

Counts

3 → 9

Calls

3 calls:

185.0ms	(+ x (* y (/ (- z t) (- a t))))
117.0ms	(/ (- z t) (- a t))
152.0ms	(* y (/ (- z t) (- a t)))

simplify3.0s

Counts

131 → 131

Iterations

Iter	Nodes
done	5001
2	1423
1	452
0	168

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite288.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
50×	`times-frac`
46×	`associate-r`
42×	`cbrt-prod`
28×	`add-cube-cbrt`
25×	`add-exp-log`
20×	`cbrt-div`
18×	`add-cbrt-cube`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `unswap-sqr`
5×	`frac-times`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 144

Calls

4 calls:

9.0ms	(cbrt (- a t))
9.0ms	(cbrt (- a t))
9.0ms	(cbrt (- a t))
247.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

series1.9s

Counts

4 → 12

Calls

4 calls:

837.0ms	(cbrt (- a t))
426.0ms	(cbrt (- a t))
319.0ms	(cbrt (- a t))
350.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

simplify4.6s

Counts

156 → 156

Iterations

Iter	Nodes
done	5002
2	2336
1	674
0	228

prune2.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize151.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z t))
0.6b	(cbrt (- z t))
0.7b	(/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))))
1.4b	(* (/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))))) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

187×	`cbrt-prod`
180×	`add-exp-log`
139×	`add-sqr-sqrt`
113×	`times-frac`
99×	`*-un-lft-identity`
95×	`cbrt-undiv` `div-exp`
94×	`associate-r`
86×	`add-cbrt-cube`
57×	`add-cube-cbrt`
49×	`prod-exp` `cbrt-unprod`
21×	`distribute-lft-out--` `difference-of-squares`
14×	`unswap-sqr`
10×	`associate-l`
8×	`cbrt-div` `associate-/r/`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`frac-times` `flip3--` `associate-r/` `associate-l/` `flip--` `div-inv` `associate-/l*`
2×	`pow1/3`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r` `-commutative`

Counts

4 → 252

Calls

4 calls:

9.0ms	(cbrt (- z t))
9.0ms	(cbrt (- z t))
271.0ms	(/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))))
1.4s	(* (/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))))) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))

series1.7s

Counts

4 → 12

Calls

4 calls:

474.0ms	(cbrt (- z t))
323.0ms	(cbrt (- z t))
565.0ms	(/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))))
363.0ms	(* (/ y (* (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))) (/ (cbrt (- a t)) (/ (cbrt (- z t)) (cbrt (cbrt (- a t))))))) (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))))

simplify5.5s

Counts

264 → 264

Iterations

Iter	Nodes
done	5000
1	1401
0	455

prune4.8s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

localize230.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- a t))
3.7b	(fma (/ y (- a t)) (- z t) x)

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/r*`
4×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
3×	`associate-/l*`
2×	`pow1` `expm1-log1p-u` `associate-/r/` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `fma-udef` `div-inv`

Counts

2 → 49

Calls

2 calls:

46.0ms	(/ y (- a t))
1.0ms	(fma (/ y (- a t)) (- z t) x)

series845.0ms

Counts

2 → 6

Calls

2 calls:

67.0ms	(/ y (- a t))
778.0ms	(fma (/ y (- a t)) (- z t) x)

simplify2.7s

Counts

55 → 55

Iterations

Iter	Nodes
done	5000
3	1252
2	440
1	173
0	92

prune1.1s

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0b

regimes2.8s

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	12
1	12
0	10

end8.0ms

sample4.2s

Algorithm

intervals

Results

2.6s	8765×	body	80	valid
0.0ms	1×	body	1280	valid