Details

Time bar (total: 15.8s)

sample66.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
22.0ms256×pre80true

simplify273.0ms

Counts
1 → 1
Iterations
IterNodes
done315
5315
4265
3144
255
119
09

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize23.0ms

Local error

Found 3 expressions with local error:

0.2b
(+ (+ e d) c)
0.2b
(+ (+ (+ e d) c) b)
0.3b
(+ (+ (+ (+ e d) c) b) a)

rewrite651.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
19×sum-log
15×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Counts
3 → 75
Calls
3 calls:
39.0ms
(+ (+ e d) c)
115.0ms
(+ (+ (+ e d) c) b)
494.0ms
(+ (+ (+ (+ e d) c) b) a)

series151.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(+ (+ e d) c)
41.0ms
(+ (+ (+ e d) c) b)
90.0ms
(+ (+ (+ (+ e d) c) b) a)

simplify891.0ms

Counts
84 → 84
Iterations
IterNodes
done2011
32011
21115
1244
092

prune821.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (exp (+ a (+ (+ c e) (+ d b)))))
0.2b
(+ (+ c e) (+ d b))
0.3b
(+ a (+ (+ c e) (+ d b)))
3.4b
(exp (+ a (+ (+ c e) (+ d b))))

rewrite645.0ms

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
53×add-log-exp
48×distribute-lft-out
34×sum-log
16×exp-prod
9×add-sqr-sqrt log-pow add-cube-cbrt
7×fma-def
6×flip3-+ flip-+ rem-exp-log
5×pow1
4×expm1-log1p-u log-prod add-cbrt-cube frac-add add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative associate-+r+ exp-sum
1×associate-+l+ rem-log-exp
Counts
4 → 107
Calls
4 calls:
297.0ms
(log (exp (+ a (+ (+ c e) (+ d b)))))
31.0ms
(+ (+ c e) (+ d b))
78.0ms
(+ a (+ (+ c e) (+ d b)))
237.0ms
(exp (+ a (+ (+ c e) (+ d b))))

series293.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(log (exp (+ a (+ (+ c e) (+ d b)))))
44.0ms
(+ (+ c e) (+ d b))
71.0ms
(+ a (+ (+ c e) (+ d b)))
84.0ms
(exp (+ a (+ (+ c e) (+ d b))))

simplify1.3s

Counts
119 → 119
Iterations
IterNodes
done2005
32005
21815
1441
0151

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (exp c) (exp e))
0.3b
(* (exp a) (* (* (exp c) (exp e)) (* (exp d) (exp b))))
0.3b
(* (* (exp c) (exp e)) (* (exp d) (exp b)))
0.4b
(* (exp d) (exp b))

rewrite714.0ms

Algorithm
rewrite-expression-head
Rules
38×pow1 add-cbrt-cube
23×pow-prod-down prod-exp cbrt-unprod
22×*-un-lft-identity
13×add-sqr-sqrt exp-prod add-exp-log
10×associate-*l*
9×pow-prod-up add-cube-cbrt
8×associate-*r*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×unswap-sqr
Counts
4 → 101
Calls
4 calls:
29.0ms
(* (exp c) (exp e))
586.0ms
(* (exp a) (* (* (exp c) (exp e)) (* (exp d) (exp b))))
80.0ms
(* (* (exp c) (exp e)) (* (exp d) (exp b)))
17.0ms
(* (exp d) (exp b))

series276.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (exp c) (exp e))
127.0ms
(* (exp a) (* (* (exp c) (exp e)) (* (exp d) (exp b))))
88.0ms
(* (* (exp c) (exp e)) (* (exp d) (exp b)))
36.0ms
(* (exp d) (exp b))

simplify1.1s

Counts
113 → 113
Iterations
IterNodes
done2003
32003
21225
1362
0132

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (exp c) (exp e)) (* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b)))))
0.4b
(* (exp d) (exp b))
0.4b
(* (exp d) (exp b))
0.5b
(* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b))))

rewrite475.0ms

Algorithm
rewrite-expression-head
Rules
69×pow1
40×*-un-lft-identity
38×sqrt-pow1
31×pow-prod-down
28×exp-prod pow-prod-up
22×add-cbrt-cube
18×add-sqr-sqrt
14×add-exp-log
12×add-cube-cbrt
11×associate-*r* associate-*l* prod-exp cbrt-unprod
10×pow1/2
8×pow-sqr
4×expm1-log1p-u swap-sqr *-commutative sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×unswap-sqr
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 126
Calls
4 calls:
353.0ms
(* (* (exp c) (exp e)) (* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b)))))
14.0ms
(* (exp d) (exp b))
14.0ms
(* (exp d) (exp b))
90.0ms
(* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b))))

series199.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (* (exp c) (exp e)) (* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b)))))
36.0ms
(* (exp d) (exp b))
35.0ms
(* (exp d) (exp b))
38.0ms
(* (sqrt (* (exp d) (exp b))) (sqrt (* (exp d) (exp b))))

simplify1.1s

Counts
138 → 138
Iterations
IterNodes
done2002
32002
2942
1308
0123

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes250.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample1.4s

Algorithm
intervals
Results
620.0ms8000×pre80true
466.0ms8000×body80valid