Details

Time bar (total: 13.4s)

sample44.0ms

Algorithm
intervals
Results
17.0ms335×body80valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done10
110
07

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x y) (* z t))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
12.0ms
(+ (* x y) (* z t))

series50.0ms

Counts
1 → 3
Calls
1 calls:
50.0ms
(+ (* x y) (* z t))

simplify2.6s

Counts
14 → 14
Iterations
IterNodes
done5000
43566
31096
2349
1101
031

prune70.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))
1.9b
(+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y))))
5.3b
(* (* x y) (* z t))
37.0b
(/ (+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y)))) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

rewrite838.0ms

Algorithm
rewrite-expression-head
Rules
18×add-cbrt-cube add-exp-log
16×pow1
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-log-exp
8×pow-prod-down prod-exp cbrt-unprod
5×cube-unmult pow3 sum-cubes
4×flip3-+ flip-+ associate-/l*
3×associate-/r* sum-log
2×+-commutative associate-+r+ associate-/r/ associate-/l/
1×cbrt-undiv clear-num associate-+r- sub-neg frac-2neg diff-log div-exp associate-*r* associate-*l* *-commutative div-inv
Counts
4 → 84
Calls
4 calls:
69.0ms
(+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))
148.0ms
(+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y))))
36.0ms
(* (* x y) (* z t))
582.0ms
(/ (+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y)))) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

series680.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))
293.0ms
(+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y))))
70.0ms
(* (* x y) (* z t))
183.0ms
(/ (+ (* (* (* z t) (* z t)) (* z t)) (* (* x y) (* (* x y) (* x y)))) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

simplify3.0s

Counts
96 → 96
Iterations
IterNodes
done5002
23247
1456
0167

prune696.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

3.7b
(* (* z (* (* t z) (* t z))) t)
3.9b
(* (* x (* (* x y) (* x y))) y)
5.3b
(* (* x y) (* z t))
37.0b
(/ (+ (* (* x (* (* x y) (* x y))) y) (* (* z (* (* t z) (* t z))) t)) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
68×add-cbrt-cube add-exp-log
66×pow1
46×pow-prod-down prod-exp cbrt-unprod
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
7×associate-*r*
4×add-log-exp
3×associate-/r* associate-*l* *-commutative associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 113
Calls
4 calls:
253.0ms
(* (* z (* (* t z) (* t z))) t)
274.0ms
(* (* x (* (* x y) (* x y))) y)
21.0ms
(* (* x y) (* z t))
817.0ms
(/ (+ (* (* x (* (* x y) (* x y))) y) (* (* z (* (* t z) (* t z))) t)) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

series494.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(* (* z (* (* t z) (* t z))) t)
91.0ms
(* (* x (* (* x y) (* x y))) y)
74.0ms
(* (* x y) (* z t))
242.0ms
(/ (+ (* (* x (* (* x y) (* x y))) y) (* (* z (* (* t z) (* t z))) t)) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))

simplify1.3s

Counts
125 → 125
Iterations
IterNodes
done5000
1754
0231

prune641.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes445.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample936.0ms

Algorithm
intervals
Results
455.0ms10465×body80valid