Details

Time bar (total: 15.3s)

sample52.0ms

Algorithm
intervals
Results
22.0ms363×body80valid

simplify116.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
08164
115124
234124
371124
495124
5101124
done101124

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- x z))
6.7b
(* (* y (- x z)) t)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
8×associate-*r*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
2×distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*l/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
38.0ms
(* y (- x z))
49.0ms
(* (* y (- x z)) t)

series119.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(* y (- x z))
51.0ms
(* (* y (- x z)) t)

simplify2.9s

Counts
52 → 52
Iterations

Useful iterations: 3 (841.0ms)

IterNodesCost
0819065
12057860
25977780
322857540
done50287540

prune314.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) t)
5.6b
(* y (* (- x z) t))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
8×associate-*l*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
2×flip3-- associate-*r/ *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 42
Calls
2 calls:
17.0ms
(* (- x z) t)
40.0ms
(* y (* (- x z) t))

series110.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(* (- x z) t)
53.0ms
(* y (* (- x z) t))

simplify3.0s

Counts
48 → 48
Iterations

Useful iterations: 2 (189.0ms)

IterNodesCost
0778489
11887486
25847086
332267086
done50017086

prune225.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.6b
(* (cbrt y) (* (- x z) t))
3.3b
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
18×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*l*
6×associate-*r/
4×associate-*l/ add-log-exp
2×flip3-- pow1/3 associate-*r* *-commutative flip--
Counts
4 → 75
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
37.0ms
(* (cbrt y) (* (- x z) t))
131.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

series886.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(cbrt y)
267.0ms
(cbrt y)
244.0ms
(* (cbrt y) (* (- x z) t))
102.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

simplify1.9s

Counts
87 → 87
Iterations

Useful iterations: done (1.9s)

IterNodesCost
011323815
132821277
2116820623
done500115799

prune434.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
1.4b
(* (cbrt y) (* (cbrt y) (* (cbrt y) (* (- x z) t))))
2.1b
(* (cbrt y) (* (cbrt y) (* (- x z) t)))
2.6b
(* (cbrt y) (* (- x z) t))

rewrite291.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1 add-exp-log
19×pow-prod-down prod-exp cbrt-unprod
18×associate-*l*
16×add-cbrt-cube
12×cbrt-prod associate-*r/
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l/
4×add-log-exp
3×flip3-- associate-*r* *-commutative flip--
1×pow1/3
Counts
4 → 89
Calls
4 calls:
1.0ms
(cbrt y)
181.0ms
(* (cbrt y) (* (cbrt y) (* (cbrt y) (* (- x z) t))))
81.0ms
(* (cbrt y) (* (cbrt y) (* (- x z) t)))
25.0ms
(* (cbrt y) (* (- x z) t))

series874.0ms

Counts
4 → 12
Calls
4 calls:
241.0ms
(cbrt y)
106.0ms
(* (cbrt y) (* (cbrt y) (* (cbrt y) (* (- x z) t))))
328.0ms
(* (cbrt y) (* (cbrt y) (* (- x z) t)))
199.0ms
(* (cbrt y) (* (- x z) t))

simplify1.6s

Counts
101 → 101
Iterations

Useful iterations: done (1.6s)

IterNodesCost
013929782
139226541
2135026022
done500121826

prune481.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes480.0ms

Accuracy

53% (3.4b remaining)

Error of 3.4b against oracle of 0.1b and baseline of 7.2b

bsearch129.0ms

Steps
ItersRangePoint
8
1.4023082506783261e+161
1.1646978758735248e+164
1.423758204789825e+161
10
-3.862557466194449e+32
-1.2615922784482009e+20
-8.762454709254037e+23

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
015466
122466
done22466

end0.0ms

sample933.0ms

Algorithm
intervals
Results
558.0ms10663×body80valid