Details

Time bar (total: 7.7s)

sample25.0ms

Algorithm
intervals
Results
11.0ms267×body80valid

simplify24.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01517
12617
23817
34617
44817
done4817

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.7b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
26×times-frac
22×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l* add-log-exp
5×cbrt-undiv div-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×frac-2neg clear-num div-inv
2×frac-add prod-exp cbrt-unprod associate-/l/
1×+-commutative sum-log
Counts
4 → 101
Calls
4 calls:
6.0ms
(+ x (/ (* y z) t))
3.0ms
(/ (* y z) t)
3.0ms
(/ (* y b) t)
32.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series158.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (/ (* y z) t))
17.0ms
(/ (* y z) t)
20.0ms
(/ (* y b) t)
94.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify577.0ms

Counts
113 → 113
Iterations

Useful iterations: 2 (148.0ms)

IterNodesCost
01791803
14651721
217731599
done50001599

prune302.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 10.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
3.7b
(* y (/ b t))
5.3b
(/ (* y z) t)
9.9b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
28×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
16×add-exp-log add-cbrt-cube
13×associate-*r*
6×pow1 associate-/r* add-log-exp
5×distribute-lft-out associate-/l*
4×cbrt-undiv flip3-+ div-exp associate-/r/ flip-+
3×associate-*r/ associate-*l* prod-exp cbrt-unprod div-inv
2×frac-2neg frac-add clear-num associate-/l/ unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 102
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
9.0ms
(* y (/ b t))
3.0ms
(/ (* y z) t)
27.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

series156.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ x (/ (* y z) t))
18.0ms
(* y (/ b t))
17.0ms
(/ (* y z) t)
95.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* y (/ b t))))

simplify673.0ms

Counts
114 → 114
Iterations

Useful iterations: 2 (158.0ms)

IterNodesCost
02041666
15291594
220441472
done50001472

prune320.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.9b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
3.0b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
3.7b
(* y (/ b t))
9.9b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
47×times-frac
36×add-cube-cbrt *-un-lft-identity
35×associate-*r*
32×add-exp-log
25×add-cbrt-cube
14×cbrt-prod
10×associate-*l* prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×pow1 unswap-sqr
4×associate-*r/ associate-/r/ div-inv add-log-exp
3×flip3-+ associate-/r* flip-+ associate-/l*
2×pow-prod-down frac-add *-commutative associate-/l/
1×frac-times frac-2neg pow1/3 associate-*l/ clear-num
Counts
4 → 135
Calls
4 calls:
0.0ms
(cbrt t)
22.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
7.0ms
(* y (/ b t))
23.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

series519.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt t)
50.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
19.0ms
(* y (/ b t))
271.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* y (/ b t))))

simplify1.2s

Counts
147 → 147
Iterations

Useful iterations: 2 (265.0ms)

IterNodesCost
02822612
17992519
236681941
done50001941

prune513.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.8b

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3)
3.0b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))
3.7b
(* y (/ b t))
9.9b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))) (+ (+ a 1.0) (* y (/ b t))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
116×add-sqr-sqrt
107×times-frac
94×cbrt-prod
80×associate-*r*
67×add-cube-cbrt *-un-lft-identity
33×add-exp-log
28×unpow-prod-down cube-prod
25×add-cbrt-cube
18×unswap-sqr
10×associate-*l* prod-exp cbrt-unprod
9×pow1 cbrt-undiv div-exp
6×sqr-pow
4×cube-mult unpow3 associate-*r/ associate-/r/ div-inv add-log-exp
3×pow-unpow flip3-+ associate-/r* flip-+ associate-/l*
2×pow-pow pow-prod-down frac-add *-commutative associate-/l/
1×frac-times pow-to-exp frac-2neg pow1/3 associate-*l/ pow-exp clear-num rem-cube-cbrt
Counts
4 → 209
Calls
4 calls:
2.0ms
(pow (cbrt t) 3)
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))
7.0ms
(* y (/ b t))
21.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))) (+ (+ a 1.0) (* y (/ b t))))

series566.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(pow (cbrt t) 3)
52.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))
19.0ms
(* y (/ b t))
270.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt (pow (cbrt t) 3))))) (+ (+ a 1.0) (* y (/ b t))))

simplify469.0ms

Counts
221 → 221
Iterations

Useful iterations: done (464.0ms)

IterNodesCost
03724283
110853451
done50012920

prune596.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.8b

regimes399.0ms

Accuracy

42.7% (3.2b remaining)

Error of 13.3b against oracle of 10.2b and baseline of 15.7b

bsearch301.0ms

Steps
ItersRangePoint
9
6.174237490080113e-95
3.0706602641906743e-88
7.593646484466209e-92
9
-6.767940496258531e-131
-1.6225359728241044e-136
-6.3581812405522e-131

simplify7.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
03166
14350
done4350

end0.0ms

sample655.0ms

Algorithm
intervals
Results
361.0ms8289×body80valid