Details

Time bar (total: 11.2s)

sample24.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done22
222
115
010

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.1b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (- (* (exp z) 1.1283791670955126) (* x y))))
0.0b
(* (exp z) 1.1283791670955126)
0.8b
(- (* (exp z) 1.1283791670955126) (* x y))
8.8b
(/ y (- (* (exp z) 1.1283791670955126) (* x y)))

rewrite111.0ms

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

series330.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(+ x (/ y (- (* (exp z) 1.1283791670955126) (* x y))))
37.0ms
(* (exp z) 1.1283791670955126)
83.0ms
(- (* (exp z) 1.1283791670955126) (* x y))
141.0ms
(/ y (- (* (exp z) 1.1283791670955126) (* x y)))

simplify742.0ms

Counts
83 → 83
Iterations
IterNodes
done5000
21368
1347
0143

prune522.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1))))
0.0b
(/ 1.1283791670955126 (/ y (exp z)))
0.0b
(/ y (exp z))
0.1b
(/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1)))

rewrite371.0ms

Algorithm
rewrite-expression-head
Rules
194×times-frac
193×add-sqr-sqrt
112×*-un-lft-identity
73×add-cube-cbrt
36×difference-of-squares
30×associate-/r*
13×add-cbrt-cube add-exp-log
9×associate-/l*
8×div-inv distribute-lft-out--
6×div-exp add-log-exp
5×pow1 cbrt-undiv
4×associate-/r/
3×clear-num frac-2neg
2×distribute-lft-out
1×+-commutative rec-exp sum-log flip3-+ flip3-- 1-exp frac-sub flip-+ pow-flip flip-- inv-pow
Counts
4 → 188
Calls
4 calls:
204.0ms
(+ x (/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1))))
8.0ms
(/ 1.1283791670955126 (/ y (exp z)))
5.0ms
(/ y (exp z))
146.0ms
(/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1)))

series243.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ x (/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1))))
40.0ms
(/ 1.1283791670955126 (/ y (exp z)))
49.0ms
(/ y (exp z))
115.0ms
(/ 1 (- (/ 1.1283791670955126 (/ y (exp z))) (/ x 1)))

simplify1.2s

Counts
200 → 200
Iterations
IterNodes
done5001
23094
1799
0346

prune953.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)
0.8b
(- (* 1.1283791670955126 (exp z)) (* y x))
8.8b
(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)))
11.6b
(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-prod
45×times-frac
42×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×unpow-prod-down cube-prod
15×associate-/r*
7×add-exp-log
6×cube-div cube-mult add-cbrt-cube unpow3 add-log-exp sqr-pow
5×pow1
4×cbrt-div flip3-- flip--
3×pow-unpow associate-/l*
2×associate-/r/
1×pow-to-exp cbrt-undiv clear-num sub-neg pow-pow frac-2neg pow1/3 diff-log div-exp pow-exp rem-cbrt-cube div-inv rem-cube-cbrt
Counts
4 → 137
Calls
4 calls:
21.0ms
(pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)
16.0ms
(- (* 1.1283791670955126 (exp z)) (* y x))
36.0ms
(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)))
27.0ms
(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3))

series380.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)
74.0ms
(- (* 1.1283791670955126 (exp z)) (* y x))
103.0ms
(/ y (cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3)))
62.0ms
(cbrt (pow (- (* 1.1283791670955126 (exp z)) (* y x)) 3))

simplify1.7s

Counts
149 → 149
Iterations
IterNodes
done5000
22760
1507
0209

prune742.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1.1283791670955126 (exp z))
0.4b
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
0.8b
(- (* 1.1283791670955126 (exp z)) (* x y))
8.8b
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
23×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
18×associate-*r* add-exp-log
13×add-cbrt-cube
9×pow1
6×associate-*l* add-log-exp
5×prod-exp
4×div-exp associate-/r/ unswap-sqr
3×associate-/r* flip3-- cbrt-unprod flip-- associate-/l*
2×cbrt-undiv rec-exp 1-exp pow-prod-down *-commutative div-inv
1×clear-num sub-neg frac-2neg diff-log associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 101
Calls
4 calls:
17.0ms
(* 1.1283791670955126 (exp z))
36.0ms
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
17.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
82.0ms
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series318.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* 1.1283791670955126 (exp z))
86.0ms
(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
83.0ms
(- (* 1.1283791670955126 (exp z)) (* x y))
119.0ms
(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify1.1s

Counts
113 → 113
Iterations
IterNodes
done5000
21833
1430
0167

prune619.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes323.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
done16
216
115
012

end0.0ms

sample1.0s

Algorithm
intervals
Results
650.0ms8002×body80valid