Details

Time bar (total: 13.9s)

sample58.0ms

Algorithm
intervals
Results
27.0ms359×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
72538
6794
5305
4145
393
254
124
011

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ t (* y (* z 3.0))))
0.2b
(* y (* z 3.0))
0.2b
(/ y (* z 3.0))
7.7b
(/ t (* y (* z 3.0)))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube add-exp-log
14×*-un-lft-identity
9×add-sqr-sqrt pow1 add-cube-cbrt add-log-exp
7×prod-exp cbrt-unprod
6×times-frac associate-/l*
5×cbrt-undiv div-exp
3×associate-*l* pow-prod-down
2×associate-+l+ clear-num associate-/r* sum-log frac-2neg frac-add div-inv distribute-lft-out
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*r* *-commutative associate-+l- flip-+ flip-- distribute-lft-out--
Counts
4 → 81
Calls
4 calls:
86.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* y (* z 3.0))))
25.0ms
(* y (* z 3.0))
17.0ms
(/ y (* z 3.0))
23.0ms
(/ t (* y (* z 3.0)))

series221.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* y (* z 3.0))))
33.0ms
(* y (* z 3.0))
33.0ms
(/ y (* z 3.0))
32.0ms
(/ t (* y (* z 3.0)))

simplify891.0ms

Counts
93 → 93
Iterations
IterNodes
done5001
21585
1389
0149

prune494.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (* (/ 1 y) (/ (/ t z) 3.0)))
0.2b
(/ (/ t z) 3.0)
0.2b
(/ y (* z 3.0))
4.4b
(* (/ 1 y) (/ (/ t z) 3.0))

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
168×times-frac
120×add-sqr-sqrt
93×*-un-lft-identity
90×add-cube-cbrt
53×add-exp-log
43×associate-*r*
35×add-cbrt-cube
23×div-exp
16×associate-/l*
14×cbrt-undiv
13×associate-*l* prod-exp
11×div-inv
9×add-log-exp unswap-sqr
7×cbrt-unprod
6×pow1 frac-add
4×associate-/r*
3×frac-times rec-exp flip3-- 1-exp associate-*l/ associate-*r/ flip--
2×associate-+l+ clear-num sum-log frac-2neg
1×+-commutative sub-neg flip3-+ diff-log pow-prod-down *-commutative associate-+l- flip-+ associate-/l/
Counts
4 → 207
Calls
4 calls:
104.0ms
(+ (- x (/ y (* z 3.0))) (* (/ 1 y) (/ (/ t z) 3.0)))
18.0ms
(/ (/ t z) 3.0)
12.0ms
(/ y (* z 3.0))
75.0ms
(* (/ 1 y) (/ (/ t z) 3.0))

series245.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(+ (- x (/ y (* z 3.0))) (* (/ 1 y) (/ (/ t z) 3.0)))
32.0ms
(/ (/ t z) 3.0)
23.0ms
(/ y (* z 3.0))
48.0ms
(* (/ 1 y) (/ (/ t z) 3.0))

simplify517.0ms

Counts
219 → 219
Iterations
IterNodes
done5000
11128
0370

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ (/ y z) 3.0)) (* (/ 1 y) (/ (/ t z) 3.0)))
0.2b
(/ (/ t z) 3.0)
0.2b
(/ (/ y z) 3.0)
4.4b
(* (/ 1 y) (/ (/ t z) 3.0))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
240×times-frac
160×add-sqr-sqrt
133×*-un-lft-identity
130×add-cube-cbrt
53×add-exp-log
43×associate-*r*
35×add-cbrt-cube
26×associate-/l*
24×div-exp
15×cbrt-undiv div-inv
13×associate-*l*
12×prod-exp
9×add-log-exp unswap-sqr
6×pow1 associate-/r* frac-add cbrt-unprod
3×frac-times rec-exp flip3-- 1-exp associate-*l/ associate-*r/ flip--
2×associate-+l+ clear-num sum-log frac-2neg associate-/l/
1×+-commutative sub-neg flip3-+ diff-log pow-prod-down *-commutative associate-+l- flip-+
Counts
4 → 256
Calls
4 calls:
191.0ms
(+ (- x (/ (/ y z) 3.0)) (* (/ 1 y) (/ (/ t z) 3.0)))
21.0ms
(/ (/ t z) 3.0)
17.0ms
(/ (/ y z) 3.0)
65.0ms
(* (/ 1 y) (/ (/ t z) 3.0))

series227.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(+ (- x (/ (/ y z) 3.0)) (* (/ 1 y) (/ (/ t z) 3.0)))
27.0ms
(/ (/ t z) 3.0)
25.0ms
(/ (/ y z) 3.0)
47.0ms
(* (/ 1 y) (/ (/ t z) 3.0))

simplify739.0ms

Counts
268 → 268
Iterations
IterNodes
done5000
11304
0445

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (* z 3.0)))
0.0b
(+ (- x (/ y (* z 3.0))) (* (/ t z) (/ 0.3333333333333333 y)))
0.2b
(/ y (* z 3.0))
4.4b
(* (/ t z) (/ 0.3333333333333333 y))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
25×times-frac
22×*-un-lft-identity
21×add-cbrt-cube add-exp-log
20×add-cube-cbrt
13×associate-*r* associate-*l*
11×add-log-exp
6×pow1 cbrt-undiv div-exp frac-add
5×prod-exp cbrt-unprod
4×flip3-- flip-- unswap-sqr
3×frac-times associate-*l/ associate-*r/ div-inv associate-/l*
2×associate-+l+ sum-log sub-neg diff-log
1×+-commutative clear-num associate-/r* frac-2neg flip3-+ pow-prod-down *-commutative associate-+l- flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 106
Calls
4 calls:
9.0ms
(- x (/ y (* z 3.0)))
66.0ms
(+ (- x (/ y (* z 3.0))) (* (/ t z) (/ 0.3333333333333333 y)))
11.0ms
(/ y (* z 3.0))
19.0ms
(* (/ t z) (/ 0.3333333333333333 y))

series260.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- x (/ y (* z 3.0)))
118.0ms
(+ (- x (/ y (* z 3.0))) (* (/ t z) (/ 0.3333333333333333 y)))
41.0ms
(/ y (* z 3.0))
52.0ms
(* (/ t z) (/ 0.3333333333333333 y))

simplify2.0s

Counts
118 → 118
Iterations
IterNodes
done5001
23205
1613
0218

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes387.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done18
118
014

end0.0ms

sample1.6s

Algorithm
intervals
Results
917.0ms11201×body80valid