Details

Time bar (total: 3.9s)

analyze79.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
62.4%37.5%0.1%4
68.7%31.2%0.1%5
68.7%18.7%12.6%6
68.7%18.7%12.6%7
68.7%12.5%18.8%8
68.7%12.5%18.8%9
68.7%9.4%22%10
68.7%9.4%22%11
68.7%7.8%23.5%12
68.7%7.8%23.5%13
68.7%7%24.3%14

sample14.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
1.0ms29×body80overflowed

simplify20.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0813
1813

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (exp.f64 a) (exp.f64 b))
0.0b
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity_binary64_6942
12×times-frac_binary64_6937
11×add-cube-cbrt_binary64_6913 add-sqr-sqrt_binary64_6927
5×distribute-lft-out_binary64_6986
4×add-log-exp_binary64_6907 associate-/r*_binary64_7005 add-cbrt-cube_binary64_6914
3×associate-/l*_binary64_7006 add-exp-log_binary64_6906
2×pow1_binary64_6884 associate-/r/_binary64_7007 flip3-+_binary64_6940 flip-+_binary64_6967
1×div-exp_binary64_6891 clear-num_binary64_6945 +-commutative_binary64_7009 div-inv_binary64_6943 sum-log_binary64_6852 cbrt-undiv_binary64_6912 frac-2neg_binary64_6935
Counts
2 → 45
Calls
2 calls:
9.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
9.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series406.0ms

Counts
2 → 6
Calls
2 calls:
121.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
285.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03172630
13172630
050312548
03172630
13172630
050312548
013
113
0972404
1972404
0122232
1122232
0972404
1972404
0122232
1122232
013
113

simplify104.0ms

Counts
51 → 51
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
05246846

prune29.0ms

Filtered
36 candidates to 51 candidates (-41.7%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New49251
Fresh000
Picked101
Done000
Total50252

Merged error: 0b

Counts
52 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))
0.0b
(+.f64 (exp.f64 a) (exp.f64 b))
0.0b
(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
0.0b
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity_binary64_6942
36×times-frac_binary64_6937 exp-prod_binary64_6892
30×add-cube-cbrt_binary64_6913 add-sqr-sqrt_binary64_6927
19×log-pow_binary64_6859
11×distribute-lft-out_binary64_6986
7×add-log-exp_binary64_6907
6×associate-/r/_binary64_7007 add-cbrt-cube_binary64_6914
5×pow1_binary64_6884 add-exp-log_binary64_6906
4×associate-/r*_binary64_7005 flip3-+_binary64_6940 flip-+_binary64_6967
3×associate-/l*_binary64_7006 div-inv_binary64_6943 log-prod_binary64_6856
1×rem-log-exp_binary64_6905 div-exp_binary64_6891 rem-exp-log_binary64_6904 clear-num_binary64_6945 +-commutative_binary64_7009 sum-log_binary64_6852 cbrt-undiv_binary64_6912 frac-2neg_binary64_6935
Counts
4 → 101
Calls
4 calls:
9.0ms
(exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))
5.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
10.0ms
(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
10.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series951.0ms

Counts
4 → 12
Calls
4 calls:
259.0ms
(exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))
119.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
285.0ms
(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
287.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03172630
13172630
050312548
03172630
13172630
050312548
013
113
01622696
11622696
048452548
148452548
01622696
11622696
048452548
148452548
013
113
0972404
1972404
0122232
1122232
0972404
1972404
0122232
1122232
013
113
01272663
11272663
048712579
148712579
01272663
11272663
048712579
148712579
013
113

simplify116.0ms

Counts
113 → 113
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
052611787

prune64.0ms

Filtered
82 candidates to 113 candidates (-37.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1130113
Fresh011
Picked011
Done000
Total1132115

Merged error: 0b

Counts
115 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow.f64 (exp.f64 b) 3)
0.0b
(pow.f64 (exp.f64 a) 3)
0.3b
(*.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (*.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))))
2.9b
(-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity_binary64_6942
33×associate-*l*_binary64_7002
31×add-sqr-sqrt_binary64_6927
28×times-frac_binary64_6937
26×add-cube-cbrt_binary64_6913
18×unpow-prod-down_binary64_6873 cube-prod_binary64_6915
15×distribute-lft-out_binary64_6986
11×add-cbrt-cube_binary64_6914
8×pow1_binary64_6884 pow-pow_binary64_6866 add-exp-log_binary64_6906
6×exp-prod_binary64_6892 add-log-exp_binary64_6907 pow-unpow_binary64_6871
3×associate-*r*_binary64_7001 sum-cubes_binary64_6938 flip3-+_binary64_6940 flip-+_binary64_6967
2×associate-*r/_binary64_7003 associate-/r/_binary64_7007 cube-mult_binary64_6917 pow-exp_binary64_6862 prod-exp_binary64_6889 cbrt-unprod_binary64_6911 pow-to-exp_binary64_6863 unpow3_binary64_6882 frac-times_binary64_6934 rem-cube-cbrt_binary64_6918 unswap-sqr_binary64_6970 sqr-pow_binary64_6974
1×pow-prod-down_binary64_6865 distribute-rgt-in_binary64_6985 div-exp_binary64_6891 div-inv_binary64_6943 cbrt-undiv_binary64_6912 associate-*l/_binary64_7004 flip--_binary64_6968 diff-log_binary64_6853 flip3--_binary64_6941 sub-neg_binary64_6946 distribute-lft-in_binary64_6984 distribute-rgt-out--_binary64_6989 *-commutative_binary64_7010
Counts
4 → 122
Calls
4 calls:
4.0ms
(pow.f64 (exp.f64 b) 3)
4.0ms
(pow.f64 (exp.f64 a) 3)
37.0ms
(*.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (*.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))))
8.0ms
(-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
279.0ms
(pow.f64 (exp.f64 b) 3)
276.0ms
(pow.f64 (exp.f64 a) 3)
274.0ms
(*.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (*.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))))
406.0ms
(-.f64 (*.f64 (exp.f64 b) (exp.f64 b)) (*.f64 (exp.f64 a) (exp.f64 b)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01242672
11242672
047992408
147992408
01242672
11242672
047992408
147992408
013
113
02393141
12393141
051362898
02393141
12393141
051362898
013
113
02361621
12361621
048281270
148281270
02361621
12361621
048281270
148281270
013
113
02361621
12361621
048281270
148281270
02361621
12361621
048281270
148281270
013
113

simplify144.0ms

Counts
134 → 134
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
049743253
149743253

prune120.0ms

Filtered
85 candidates to 134 candidates (-57.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1340134
Fresh000
Picked011
Done011
Total1342136

Merged error: 0b

Counts
136 → 2

regimes41.0ms

Accuracy

0% (0.1b remaining)

Error of 0.8b against oracle of 0.7b and baseline of 0.8b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01017
11017

end0.0ms

sample386.0ms

Algorithm
intervals
Results
228.0ms8000×body80valid
16.0ms684×body80overflowed

Profiling

Loading profile data...