Details

Time bar (total: 15.4s)

sample59.0ms

Algorithm
intervals
Results
26.0ms265×body80valid

simplify37.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01517
12617
23817
34717
44917
done4917

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.7b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
5.5b
(/ (* y z) t)
5.7b
(/ (* y b) t)
12.6b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite160.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:
21.0ms
(+ x (/ (* y z) t))
21.0ms
(/ (* y z) t)
19.0ms
(/ (* y b) t)
93.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series311.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(+ x (/ (* y z) t))
33.0ms
(/ (* y z) t)
37.0ms
(/ (* y b) t)
184.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.3s

Counts
113 → 113
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01791803
14761721
222291609
done50011599

prune378.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
5.5b
(/ (* y z) t)
5.9b
(* (* y b) (/ 1 t))
12.6b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
33×add-exp-log
32×*-un-lft-identity
24×times-frac
23×add-cbrt-cube
22×add-sqr-sqrt add-cube-cbrt
13×associate-*r* prod-exp
9×pow1
7×div-exp cbrt-unprod
6×associate-/r* associate-/r/ add-log-exp
5×cbrt-undiv flip3-+ flip-+ distribute-lft-out associate-/l*
4×frac-add
3×associate-*r/ pow-prod-down un-div-inv div-inv
2×rec-exp frac-2neg 1-exp clear-num associate-/l/
1×+-commutative associate-*l* sum-log *-commutative
Counts
4 → 110
Calls
4 calls:
19.0ms
(+ x (/ (* y z) t))
18.0ms
(/ (* y z) t)
41.0ms
(* (* y b) (/ 1 t))
111.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

series250.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ x (/ (* y z) t))
22.0ms
(/ (* y z) t)
24.0ms
(* (* y b) (/ 1 t))
168.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

simplify2.7s

Counts
122 → 122
Iterations

Useful iterations: done (2.7s)

IterNodesCost
02221968
16361841
236381550
done50021538

prune452.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.7b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (* y z) (/ 1 t)))
5.6b
(* (* y z) (/ 1 t))
5.9b
(* (* y b) (/ 1 t))
12.6b
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
30×add-cbrt-cube
27×times-frac
26×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
24×prod-exp
14×pow1
12×cbrt-unprod
9×div-exp
6×pow-prod-down associate-/r/ add-log-exp
5×cbrt-undiv flip3-+ flip-+
4×rec-exp 1-exp associate-*r/ frac-add un-div-inv
3×associate-/r* div-inv associate-/l*
2×associate-*l* *-commutative associate-/l/
1×+-commutative frac-2neg clear-num sum-log
Counts
4 → 122
Calls
4 calls:
10.0ms
(+ x (* (* y z) (/ 1 t)))
31.0ms
(* (* y z) (/ 1 t))
32.0ms
(* (* y b) (/ 1 t))
89.0ms
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

series249.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ x (* (* y z) (/ 1 t)))
28.0ms
(* (* y z) (/ 1 t))
34.0ms
(* (* y b) (/ 1 t))
140.0ms
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

simplify3.3s

Counts
134 → 134
Iterations

Useful iterations: 2 (627.0ms)

IterNodesCost
02302200
17082006
245941512
done50011512

prune454.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 11.7b

localize20.0ms

Local error

Found 4 expressions with local error:

1.6b
(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
4.1b
(/ (* y z) (* (cbrt t) (cbrt t)))
5.7b
(/ (* y b) t)
12.6b
(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
73×*-un-lft-identity
61×times-frac
41×add-exp-log
36×add-sqr-sqrt add-cube-cbrt
28×add-cbrt-cube
21×distribute-lft-out
18×cbrt-prod
16×cbrt-undiv div-exp
15×associate-/r*
11×div-inv associate-/l*
9×prod-exp cbrt-unprod
4×pow1 frac-2neg clear-num associate-/r/ add-log-exp
3×flip3-+ flip-+ associate-/l/
2×frac-add
Counts
4 → 151
Calls
4 calls:
22.0ms
(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
16.0ms
(/ (* y z) (* (cbrt t) (cbrt t)))
10.0ms
(/ (* y b) t)
155.0ms
(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

series399.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))
137.0ms
(/ (* y z) (* (cbrt t) (cbrt t)))
24.0ms
(/ (* y b) t)
171.0ms
(/ (+ x (/ (/ (* y z) (* (cbrt t) (cbrt t))) (cbrt t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.6s

Counts
163 → 163
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02733489
17182990
240052512
done50002486

prune549.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 11.7b

regimes583.0ms

Accuracy

18.9% (4.2b remaining)

Error of 15.4b against oracle of 11.2b and baseline of 16.4b

bsearch235.0ms

Steps
ItersRangePoint
8
3.9529563136707054e+148
3.700363531779621e+151
3.087220841679642e+150
7
1.0549081558529093e+87
2.661688789285233e+88
2.5933287784282118e+87
11
-7.874401631866737e-69
-8.91844618026245e-89
-2.5252542334922793e-76

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04788
16488
done6488

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.1s8269×body80valid